[Agda] [ANNOUNCE] Agda 2.6.1

Andrés Sicard-Ramírez asr at eafit.edu.co
Mon Mar 16 06:49:30 CET 2020


Dear all,

The Agda Team is very pleased to announce the release of Agda 2.6.1.

* GHC supported versions

Agda 2.6.1 has been tested with GHC 8.8.3, 8.6.5, 8.4.4, 8.2.2 and
8.0.2. Support for GHC 7.10.3 was removed.

* Installation

  cabal update && cabal install Agda

* Standard library

For the time being, you can use the *master* branch of the
standard library which is compatible with Agda 2.6.1. This branch is
available at

    https://github.com/agda/agda-stdlib/

* What is new, fixed issues and incompatibilities

See http://hackage.haskell.org/package/Agda-2.6.1/changelog

Enjoy Agda 2.6.1.

-- 
Andrés on behalf of the Agda Team


More information about the Agda mailing list