[Agda] Re: This ain't right, is it?

Benja Fallenstein benja.fallenstein at gmail.com
Sat Oct 31 12:31:25 CET 2009


On Sat, Oct 31, 2009 at 10:14 AM, Ulf Norell <ulfn at chalmers.se> wrote:
> That is clearly a bug. Can you add your example to this issue:
>
> http://code.google.com/p/agda/issues/detail?id=203

Done, thanks.
- Benja


More information about the Agda mailing list