Finding out which metas are unsolved in an Agda program<br><a href="http://stackoverflow.com/q/10255895/1431768?sem=2">http://stackoverflow.com/q/10255895/1431768?sem=2</a><br><br>Does anyone know the answer?<br>