Change History for InjectiveTypeFamilies

Version Date Author Comment
33 2 years Iceland_jack
32 3 years simonpj
31 3 years simonpj
30 3 years jstolarek
29 3 years jstolarek
28 3 years jstolarek
27 4 years bgamari
26 4 years strake888
25 4 years ntc2 Fix typo.
24 4 years jstolarek Rewrite of the wiki page after the merge of ITF branch into master
23 5 years jstolarek
22 5 years jstolarek
21 5 years jstolarek Injectivity for poly-kinded type families
20 5 years jstolarek
19 5 years goldfire
18 5 years jstolarek
17 5 years goldfire
16 5 years goldfire
15 5 years jstolarek
14 5 years jstolarek
13 5 years jstolarek
12 5 years jstolarek
11 5 years jstolarek
10 5 years jstolarek
9 5 years jstolarek
8 5 years jstolarek
7 5 years jstolarek Major update: more syntax proposals, algorithm and more
6 5 years jstolarek Formatting, fix broken links
5 5 years jstolarek Fix typo: ans -> and
4 5 years heisenbug
3 5 years jstolarek
2 5 years jstolarek
1 5 years jstolarek First draft