Change History for ImpredicativePolymorphism/Impredicative-2015

Version Date Author Comment
8 5 years AlejandroSerrano Change name of attached file
7 5 years heisenbug
6 5 years simonpj
5 5 years AlejandroSerrano Include reference to the new design document
4 5 years AlejandroSerrano Add attachment with generation rules.
3 5 years AlejandroSerrano Reverse InstanceOf args + speak about zonking
2 5 years AlejandroSerrano Add link to PDF with generation rules
1 5 years simonpj