[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