[Agda] stuck with "unsolved metas"

Roman effectfully at gmail.com
Wed May 18 13:30:53 CEST 2016


Sergei, try also

    debug = \ {_ _ _} -> implic prime∣split

This is probably the notorious hidden lambda bug.


More information about the Agda mailing list