[Agda] ANNOUNCE: Agda

Andrés Sicard-Ramírez andres.sicard.ramirez at gmail.com
Mon Jun 10 20:16:46 CEST 2013

On 10 June 2013 11:34, Andreas Abel <andreas.abel at ifi.lmu.de> wrote:
> Let me add that the main purpose of this release is, as stated in the
> release notes, to compile with current library versions.

I also should have added that Agda standard library version 0.7 was
tested with the new release.


More information about the Agda mailing list