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

[Andreas Abel]

Thanks, this was the one I was looking for!  The thread title "no longer 
type checks" was too generic...

On 30.05.13 12:22 AM, Martin Escardo wrote:
> 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
>>
>> ?
>>
>

-- 
Andreas Abel  <><      Du bist der geliebte Mensch.

Theoretical Computer Science, University of Munich
Oettingenstr. 67, D-80538 Munich, GERMANY

andreas.abel at ifi.lmu.de
http://www2.tcs.ifi.lmu.de/~abel/