Change History for Status/Oct13

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