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,


More information about the Agda mailing list