[Agda] ANNOUNCE: Agda 2.4.2.5 release candidate
Sergei Meshveliani
mechvel at botik.ru
Sun Dec 13 18:48:08 CET 2015
On Sun, 2015-12-13 at 09:11 -0500, Andrés Sicard-Ramírez wrote:
> Dear all,
>
> We would like to announce a release candidate for Agda 2.4.2.5 available at
>
> http://www1.eafit.edu.co/asr/tmp/Agda-2.4.2.4.20151210.tar.gz
>
> [..]
>
> Please test as much as possible.
With
open import Relation.Binary using (Setoid)
Agda-2.4.2.4.20151210 does not import module Setoid.
And I use the Development Agda (probably of October 20, 2015),
which open-imports module Setoid by default once Setoid is
open-imported.
(I have already deleted all extra `module' imports, and the import parts
have become easier to read).
What is the relation between the language versions?
Are they going to converge?
Which one is going to become 2.4.3 ?
Which one to rely on?
Regards,
------
Sergei
More information about the Agda
mailing list