[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