[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