Less restrictive --without-K [Re: [Agda] no longer type checks]

Andrés Sicard-Ramírez andres.sicard.ramirez at gmail.com
Fri May 31 15:15:43 CEST 2013


On 31 May 2013 01:19, Andreas Abel <andreas.abel at ifi.lmu.de> wrote:
> but the current criterion is too restrictive still.

I agree. I reported this issue,
http://code.google.com/p/agda/issues/detail?id=865.

-- 
Andrés


More information about the Agda mailing list