Commit Graph

2 Commits

Author SHA1 Message Date
Michael Walker
581ab8339a Typeclasses 2017-08-19 16:38:39 +01:00
Michael Walker
2b92208947 Sections and headings 2017-08-19 16:38:39 +01:00