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

[Nils Anders Danielsson]

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:

   http://www.cse.chalmers.se/~nad/repos/equality/

-- 
/NAD