[Agda] [ANNOUNCE] Agda 2.5.1.1 release candidate 1

Ulf Norell ulf.norell at gmail.com
Wed Jun 15 16:11:30 CEST 2016


Dear all,

The Agda Team is pleased to announce the first release candidate of Agda
2.5.1.1 available at

  https://www.dropbox.com/s/vh55ll3tqg0h8k5/Agda-2.5.1.1-rc1.tar.gz?dl=1


GHC supported versions
======================

The RC has been tested with GHC 7.6.3, 7.8.4, 7.10.3 and 8.0.1.


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

The RC can be installed as follows:

  $ tar xzf Agda-2.5.1.1-rc1.tar.gz
  $ cd Agda-2.5.1.1
  $ cabal install


What is new?
============

2.5.1.1 fixes a severe performance bug with instance arguments:

* https://github.com/agda/agda/issues/1952
* https://github.com/agda/agda/issues/1955
* https://github.com/agda/agda/issues/1998
* https://github.com/agda/agda/issues/2025

as well as the follwing minor issues:

* https://github.com/agda/agda/issues/1322 and
  https://github.com/agda/agda/issues/2034 (function type instance goals)
* https://github.com/agda/agda/issues/1950 (case split in with-function)
* https://github.com/agda/agda/issues/1951 (mixfix binders not working in
'syntax')
* https://github.com/agda/agda/issues/1967 (too eager insteance search
error)
* https://github.com/agda/agda/issues/1974 (lost constraint dependencies)
* https://github.com/agda/agda/issues/1982 (internal error in unifier)

/ Ulf
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20160615/fc6328f5/attachment.html


More information about the Agda mailing list