[Agda] New release soon

Ulf Norell ulf.norell at gmail.com
Tue Oct 4 19:38:39 CEST 2011


On Tue, Oct 4, 2011 at 7:20 PM, Anthony de Almeida Lopes <
anthony.de.almeida.lopes at falsifiable.net> wrote:

> Will instance arguments [1] be in this upcoming release? I found test
> cases [2] and people (IRC) tell me that it's in darcs (which I don't
> dare touch.)
>

Yes they will.

/ Ulf
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20111004/6185adc1/attachment.html


More information about the Agda mailing list