[Agda] ANNOUNCE: Agda 2.4.2.5 release candidate

[Andrés Sicard-Ramírez]

On 13 December 2015 at 12:48, Sergei Meshveliani <mechvel at botik.ru> wrote:
> With
>
>   open import Relation.Binary using (Setoid)
>
> Agda-2.4.2.4.20151210  does not import  module Setoid.
>
> What is the relation between the language versions?
> Which one is going to become 2.4.3 ?

Agda 2.4.2.5 will be a bug-fix release and it won't include the above behaviour.

The above behaviour (see
https://github.com/agda/agda/blob/master/doc/release-notes/2-5-1.txt#L596
) will be include in Agda 2.4.4 whose release is planned for early
2016.

Since you are using the master version, did you test the new
unification algorithm described in

  https://lists.chalmers.se/pipermail/agda-dev/2015-December/000223.html

?

-- 
Andrés