[Agda] failed constraint

Nils Anders Danielsson nad at cse.gu.se
Mon Apr 22 11:33:27 CEST 2013

On 2013-04-20 09:01, Serge D. Mechveliani wrote:
> And the above report does not show the location.

The location information seems to have been added recently. Try using
the development version of Agda.


More information about the Agda mailing list