[Agda] stack overflow in Agda 2.3.2.1

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
> 2.3.2.1).
>

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

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