[Agda] ANNOUNCE: Agda 2.3.2.1

Andrés Sicard-Ramírez andres.sicard.ramirez at gmail.com
Mon Jun 10 17:46:21 CEST 2013

Previous message: [Agda] ITP 2013 Call for Participation (Early Registration Deadline June 17th)
Next message: [Agda] ANNOUNCE: Agda 2.3.2.1
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Hi,

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

-- 
Andrés

Previous message: [Agda] ITP 2013 Call for Participation (Early Registration Deadline June 17th)
Next message: [Agda] ANNOUNCE: Agda 2.3.2.1
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Agda mailing list