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

Martin Escardo m.escardo at cs.bham.ac.uk
Thu May 30 00:22:50 CEST 2013


There was this too:

https://lists.chalmers.se/pipermail/agda/2012/004840.html

Martin

On 29/05/13 22:25, Andrés Sicard-Ramírez wrote:
> 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
>
> ?
>

-- 
Martin Escardo
http://www.cs.bham.ac.uk/~mhe


More information about the Agda mailing list