[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