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

Nils Anders Danielsson nad at cse.gu.se
Thu May 30 18:56:44 CEST 2013

On 2013-05-30 18:12, Andrés Sicard-Ramírez wrote:
> Before your patch this proof was accepted using the --without-K
> option:

My --without-K library also fails to type check now:



More information about the Agda mailing list