[Agda] Version of the standard library compatible with Agda 2.5.1
release candidate 1
Andrés Sicard-Ramírez
asr at eafit.edu.co
Wed Feb 17 00:03:28 CET 2016
Dear all,
On 13 February 2016 at 13:20, Andrés Sicard-Ramírez <asr at eafit.edu.co> wrote:
> The Agda Team is very pleased to announce a release candidate of Agda
> 2.5.1 available at
>
> http://www1.eafit.edu.co/asr/tmp/Agda-2.5.0.20160213.tar.gz
>
The standard library compatible with Agda 2.5.1 RC 1 is available at
https://github.com/agda/agda-stdlib/releases/tag/2.5.0.20160213
(Note that the *current* master branch of the standard library *is
not* compatible with this RC).
Best,
--
Andrés
More information about the Agda
mailing list