[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