[Agda] New release soon

[Nicolas Pouillard]

On Tue, Sep 20, 2011 at 9:57 AM, Nils Anders Danielsson <nad at chalmers.se> wrote:
> Hi,
Hi,

> We plan to release a new version of Agda soon. If there are any major
> problems with the current development version, please let us know as
> soon as possible.

I just filled 466 and 467. The later is for sure a bit more urgent.

-- 
Nicolas Pouillard
http://nicolaspouillard.fr