[Agda] Re: wait whaaat

Nils Anders Danielsson nad at cse.gu.se
Tue Jul 9 23:31:49 CEST 2013


On 2013-07-09 18:04, Dan Licata wrote:
> BTW, did --without-K always allow matching on constructors?

Yes, from the first release (2.2.10). My first (unreleased)
implementation was more strict.

-- 
/NAD


More information about the Agda mailing list