[Agda] Polymorphism is not (always) naturality

effectfully effectfully at gmail.com
Tue Oct 6 15:14:20 CEST 2015


Is this related?

https://personal.cis.strath.ac.uk/conor.mcbride/NoYo.agda


More information about the Agda mailing list