[Agda] how to reference to a version
Sergei Meshveliani
mechvel at botik.ru
Thu Dec 8 19:03:15 CET 2016
On Thu, 2016-12-08 at 12:48 -0500, Andrés Sicard-Ramírez wrote:
> On 8 December 2016 at 12:29, Sergei Meshveliani <mechvel at botik.ru> wrote:
> > Please, what is the Standard library version for Stable Development
> > Agda ?
>
> There isn't a *released* version of the standard library for the
> development branches (master or stable-2.5) of Agda. Currently, you
> can use the master branch of the repository of the standard library
>
> https://github.com/agda/agda-stdlib
>
> with both development branches (master or stable-2.5) of Agda.
I have downloaded the Development Standard library of today,
in order to use it with agda 2.5.2-dc9ffae
(?)
And when installing, it says "Building lib-0.12".
May be, it coincides with lib-0.12 ?
Thanks,
------
Sergei
More information about the Agda
mailing list