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. -- Andrés