[Agda] stable version

Sergei Meshveliani mechvel at botik.ru
Wed Dec 7 10:30:03 CET 2016


On Wed, 2016-12-07 at 10:16 +0100, Ulf Norell wrote:
> If by stable version you mean version 2.5.1.2 from Hackage (cabal
> install Agda) then
> the development version is more current. As Andrés already pointed out
> 2.5.1.2 does
> not contain anything more than 2.5.1.1 (from June).
> 
> 
> If by stable you mean the stable-2.5 branch from github then todays
> stable is more current
> than the master branch from October.
> 

I mean the version which is titled as  Stable version
on
http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Download

And I think, it is of github
(please, inform me, if I mistake). 

------
Sergei



> On Wed, Dec 7, 2016 at 10:09 AM, Sergei Meshveliani <mechvel at botik.ru>
> wrote:
>         Please, what is more fresh:
>         Development version of October 4 2016
>         or
>         Stable version  downloaded today (December 7, 2016)
>         ?
>         
>         Thanks,
>         
>         ------
>         Sergei
>         
>         
>         _______________________________________________
>         Agda mailing list
>         Agda at lists.chalmers.se
>         https://lists.chalmers.se/mailman/listinfo/agda
> 
> 




More information about the Agda mailing list