Change History for Status/Oct13

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