[Agda] how to reference to a version
Sergei Meshveliani
mechvel at botik.ru
Thu Dec 8 18:29:29 CET 2016
On Wed, 2016-12-07 at 12:26 -0500, Andrés Sicard-Ramírez wrote:
> On 7 December 2016 at 08:28, Sergei Meshveliani <mechvel at botik.ru> wrote:
> > Suppose, I refer now to Agda version 2.5.2-dc9ffae.
>
> I suggest you should wait the next release instead of using the above
> *development* version.
>
> >
> > How the user finds this version?
>
> $ git clone https://github.com/agda/agda.git
> $ cd agda
> $ git checkout dc9ffae
>
Please, what is the Standard library version for Stable Development
Agda ?
Has it an identifier?
How does the user find this version?
Thanks,
------
Sergei
More information about the Agda
mailing list