[Agda] Re: ANNOUNCE: Agda 2.3.2.1

Andrés Sicard-Ramírez andres.sicard.ramirez at gmail.com
Tue Jun 11 14:14:15 CEST 2013


On 10 June 2013 10:46, Andrés Sicard-Ramírez
<andres.sicard.ramirez at gmail.com> wrote:
> Agda 2.3.2.1 has now been released.
>
> Important changes since 2.3.2:
> http://wiki.portal.chalmers.se/agda/uploads/Main.Download/release-notes-2-3-2-1.txt

The above link will be removed. As pointed out by Andreas, the changes are:

------------------------------------------------------------------------
-- Release notes for Agda 2 version 2.3.2.1
------------------------------------------------------------------------

Important changes since 2.3.2:

Installation
============

* Made it possible to compile Agda with more recent versions of
  hashable, QuickCheck and Win32.

* Excluded mtl-2.1.

Type checking
 =============
* Fixed bug in the termination checker (issue 754).

-- 
Andrés


More information about the Agda mailing list