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