Change History for Status/Oct13

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