Change History for ImpredicativePolymorphism

Version Date Author Comment
8 2 years simonpj
7 2 years simonpj
6 3 years ntc2 Mention that qualitfied types are like universally quantified types …
5 4 years heisenbug
4 4 years simonpj
3 4 years simonpj
2 5 years simonpj
1 5 years simonpj