[Agda] no longer type checks

Martin Escardo m.escardo at cs.bham.ac.uk
Thu Dec 13 23:31:03 CET 2012



On 13/12/12 22:26, Andreas Abel wrote:
> You are using --without-K, do you?  Otherwise, this should still check.

Yes, I am. (What does this have to do with K?)

Anyway, is there a simple workaround?

Thanks,
Martin



More information about the Agda mailing list