[Agda] [ANNOUNCE] Agda 2.5.4

Andrés Sicard-Ramírez asr at eafit.edu.co
Sat Jun 2 22:06:26 CEST 2018


Dear all,

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

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

Agda 2.5.4 has been tested with:

   GHC 7.10.3, 8.0.2, 8.2.2 and 8.4.2 (Linux, macOS and Windows)
   GHC 8.4.3 (Linux and macOS)

Note that GHC 8.4.* requires cabal-install ≥ 2.2.0.0.

Installation
=======

  cabal update && cabal install Agda

Standard library
==========

For the time being, you can use the `experimental` branch of the
standard library which is compatible with Agda 2.5.4. This branch is
available at

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

What is new, language changes, incompatibilities and closed issues
========================================

  https://hackage.haskell.org/package/Agda-2.5.4/changelog


Enjoy Agda 2.5.4.

--
Andrés on behalf of the Agda Team


More information about the Agda mailing list