[Agda] stack overflow in Agda

Andrés Sicard-Ramírez andres.sicard.ramirez at gmail.com
Thu Aug 15 15:50:44 CEST 2013

On 15 August 2013 08:33, James Cranch <jdc41 at cam.ac.uk> wrote:

> Hi all,
> Typechecking the module below causes a stack overflow for me (running Agda

I could type-check the module using Agda development version (and I confirm
the issue using Agda

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20130815/7c28aeb4/attachment.html

More information about the Agda mailing list