[Agda] [ANNOUNCE] Agda 2.5.4 release candidate 1

[Andrés Sicard-Ramírez]

Dear all,

The Agda Team is very pleased to announce the first release candidate
of Agda 2.5.4. We plan to release 2.5.4 in one week.


Installation
=======

This RC can be installed using the following instruction:

  $ cabal install
http://hackage.haskell.org/package/Agda-2.5.3.20180519/candidate/Agda-2.5.3.20180519.tar.gz


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

This RC has been tested with GHC 7.10.3, 8.0.2, 8.2.2 and 8.4.2 on
Linux, macOS and Windows.

Please note that GHC 8.4.2 requires cabal-install ≥ 2.2.0.0.


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

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

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


What is new, some fixed issues and incompatibilities
================================

  http://hackage.haskell.org/package/Agda-2.5.3.20180519/candidate/changelog



Enjoy the RC and please test as much as possible.

--
Andrés, on behalf of the Agda Team