[Agda] expanding solved wildcards

Ramana Kumar ramana.kumar at gmail.com
Sat Jun 16 18:15:00 CEST 2012


Finding out which metas are unsolved in an Agda program
http://stackoverflow.com/q/10255895/1431768?sem=2

Does anyone know the answer?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20120616/c555bcdd/attachment.html


More information about the Agda mailing list