Change History for ImpredicativePolymorphism/Impredicative-2015

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