[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.

-- 
/NAD


More information about the Agda mailing list