[Agda] Polymorphism is not (always) naturality
effectfully
effectfully at gmail.com
Tue Oct 6 15:14:20 CEST 2015
Previous message:
[Agda] Polymorphism is not (always) naturality
Next message:
[Agda] Polymorphism is not (always) naturality
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
Is this related?
https://personal.cis.strath.ac.uk/conor.mcbride/NoYo.agda
Previous message:
[Agda] Polymorphism is not (always) naturality
Next message:
[Agda] Polymorphism is not (always) naturality
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
More information about the Agda mailing list