[Agda] instance argument problems
effectfully
effectfully at gmail.com
Sat May 30 17:14:56 CEST 2015
Previous message:
[Agda] instance argument problems
Next message:
[Agda] instance argument problems
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
There was a similar question:
http://comments.gmane.org/gmane.comp.lang.agda/7546
Previous message:
[Agda] instance argument problems
Next message:
[Agda] instance argument problems
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
More information about the Agda mailing list