Change History for Status/Oct13

Version Date Author Comment
26 21 months thoughtpolice Add TypeHoles notes.
25 21 months heisenbug spell this out
24 21 months heisenbug typo
23 21 months heisenbug add accents
22 21 months lukexi
21 21 months heisenbug add myself
20 21 months heisenbug
19 21 months heisenbug grammar
18 21 months heisenbug Richard did empty case
17 21 months heisenbug typo
16 21 months nomeata Clarification, there is no new version of -XIncoherentInstances.
15 21 months simonpj
14 21 months simonpj
13 21 months simonpj
12 21 months thoughtpolice
11 21 months lukexi Fixed typo in closed type families example
10 21 months lukexi
9 21 months thoughtpolice
8 21 months thoughtpolice
7 21 months thoughtpolice
6 21 months thoughtpolice
5 21 months thoughtpolice
4 21 months thoughtpolice
3 21 months thoughtpolice Minor amendments, and thanks.
2 21 months thoughtpolice First draft.
1 21 months thoughtpolice Create page.