[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