Change History for Status/Oct13

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