[Agda] ANNOUNCE: Agda

Nils Anders Danielsson nad at cse.gu.se
Wed Oct 30 17:47:16 CET 2013


Agda has now been released. Important changes since

* Fixed a bug that sometimes made it tricky to use the Emacs mode on
   Windows [issue 757].

* Made Agda build with newer versions of some libraries.


More information about the Agda mailing list