Change History for Status/Oct13

Version Date Author Comment
26 2 years thoughtpolice Add TypeHoles notes.
25 2 years heisenbug spell this out
24 2 years heisenbug typo
23 2 years heisenbug add accents
22 2 years lukexi
21 2 years heisenbug add myself
20 2 years heisenbug
19 2 years heisenbug grammar
18 2 years heisenbug Richard did empty case
17 2 years heisenbug typo
16 2 years nomeata Clarification, there is no new version of -XIncoherentInstances.
15 2 years simonpj
14 2 years simonpj
13 2 years simonpj
12 2 years 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.