[Agda] [ANNOUNCE] Agda 2.5.4 release candidate 1

Andrés Sicard-Ramírez asr at eafit.edu.co
Fri May 25 14:43:15 CEST 2018


On 24 May 2018 at 15:16, Sergei Meshveliani <mechvel at botik.ru> wrote:
> On Wed, 2018-05-23 at 08:38 -0500, Andrés Sicard-Ramírez wrote:
>> On 23 May 2018 at 08:22, Sergei Meshveliani <mechvel at botik.ru> wrote:
>> > On Sat, 2018-05-19 at 15:33 -0500, Andrés Sicard-Ramírez wrote:
>> >> Dear all,
>> >>
>> >> The Agda Team is very pleased to announce the first release candidate
>> >> of Agda 2.5.4. We plan to release 2.5.4 in one week.
>> >>
>
>
> In CHANGELOG.md  in
>
>> * The `_⊆_` relation has been moved out of the `Membership` modules to
>> new modules `List.Relation.Sublist.(Setoid/Propositional)`.
>> Consequently the `mono` proofs that were in
>> `Membership.Propositional.Properties` have been moved to
>> `Relation.Sublist.Propositional.Properties`.
>
>
> the prefix "Data." is needed in some module names.
> Maybe there are more such places.
>

I filled (on the standard library bug tracker)
https://github.com/agda/agda-stdlib/issues/324 .


-- 
Andrés


More information about the Agda mailing list