[Agda] expanding solved wildcards

Nils Anders Danielsson nad at chalmers.se
Tue Jun 26 10:51:27 CEST 2012

On 2012-06-16 18:15, Ramana Kumar wrote:
> Finding out which metas are unsolved in an Agda program
> http://stackoverflow.com/q/10255895/1431768?sem=2
> Does anyone know the answer?

Question: "What's the best way to find out what's causing unsolved

One approach (not necessarily the best) is to replace all implicit
arguments with explicit underscores:

   f {_} {_} {_} (x {_} {_} {_})


More information about the Agda mailing list