[Agda] Internal error at src/full/Agda/TypeChecking/Substitute.hs:144

Andrés Sicard-Ramírez asr at eafit.edu.co
Wed Oct 15 14:16:55 CEST 2014


On 15 October 2014 06:15, Helmut Grohne <grohne at cs.uni-bonn.de> wrote:

> Is this also reproducible on the development version of Agda?
>

Yes. Report the issue in https://code.google.com/p/agda/issues/list please.

-- 
Andrés
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20141015/8bc52fba/attachment.html


More information about the Agda mailing list