[Agda] stuck with "unsolved metas"

Sergei Meshveliani mechvel at botik.ru
Wed May 18 19:43:24 CEST 2016


On Wed, 2016-05-18 at 14:30 +0300, Roman wrote:
> Sergei, try also
> 
>     debug = \ {_ _ _} -> implic prime∣split


It would be nice, but in my example it gives "unsolved metas".

------
Sergei




More information about the Agda mailing list