-
Giuseppe Castagna authored
- revised so that type schemes are in the appendix - added a list of contributions - stressed type inference - added enumitem.sty (latest version) - added a TODO.txt file with modification to do
9e0ca4a8
- revised so that type schemes are in the appendix - added a list of contributions - stressed type inference - added enumitem.sty (latest version) - added a TODO.txt file with modification to do