[Agda] instance argument problems

effectfully effectfully at gmail.com
Sat May 30 17:14:56 CEST 2015


There was a similar question:
http://comments.gmane.org/gmane.comp.lang.agda/7546


More information about the Agda mailing list