[Agda] [ANNOUNCE] Agda 2.5.3 release candidate 1
Sergei Meshveliani
mechvel at botik.ru
Fri Aug 18 22:28:47 CEST 2017
On Thu, 2017-08-17 at 03:04 -0500, Andrés Sicard-Ramírez wrote:
> Dear all,
>
> The Agda Team is very pleased to announce the first release candidate of Agda
> 2.5.3. We plan to release 2.5.3 in one week.
>
>
> Installation
> =======
>
> This RC can be installed using the following instruction:
>
> $ cabal install
> http://hackage.haskell.org/package/Agda-2.5.2.20170816/candidate/Agda-2.5.2.20170816.tar.gz
> [..]
I have tested it on the DoCon-A 2.00 library under ghc-7.10.2, MAlonzo,
Debian Linux.
It works.
------
Sergei
More information about the Agda
mailing list