[Agda] --without-K option too restrictive?

Andrés Sicard-Ramírez andres.sicard.ramirez at gmail.com
Wed May 29 23:25:38 CEST 2013


On 29 May 2013 15:52, Andreas Abel <andreas.abel at ifi.lmu.de> wrote:
>
> Have not we discussed this before?  I am having a dejavu here, but cannot
> find traces of this discussion in my email archive.

Are you talking about these threads

http://thread.gmane.org/gmane.comp.lang.agda/3944
http://thread.gmane.org/gmane.comp.lang.agda/3947

?

-- 
Andrés


More information about the Agda mailing list