[Agda] refusal to construct infinite term

[Andrés Sicard-Ramírez]

On 31 May 2013 05:35, Martin Escardo <m.escardo at cs.bham.ac.uk> wrote:
> Why does Agda think it would have to construct an infinite term?
>

I could type check your file using the development version of Agda,
but it fails to type check using Agda 2.3.2.

-- 
Andrés