[Agda] ANNOUNCE: Agda 2.3.2.2

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

Previous message: [Agda] Termination problems with "with" and recursion
Next message: [Agda] ANNOUNCE: Agda 2.3.2.2
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Hi,

Agda 2.3.2.2 has now been released. Important changes since 2.3.2.1:

* 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.

-- 
/NAD

Previous message: [Agda] Termination problems with "with" and recursion
Next message: [Agda] ANNOUNCE: Agda 2.3.2.2
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Agda mailing list