[Agda] [ANNOUNCE] Agda 2.5.4 release candidate 1

[Arseniy Alekseyev]

I tried the RC on my Primes <https://github.com/Rotsor/Primes> repo and the
new version is much more memory-hungry (I want to say ~2x) and slightly
slower (~60 seconds instead of 53) compared to Agda 2.5.3.

It's totally unimportant to have this specific thing work well, but I
thought people might find the slowdown surprising.

On 25 May 2018 at 20:26, Andrés Sicard-Ramírez <asr at eafit.edu.co> wrote:

> On 25 May 2018 at 12:56, Sergei Meshveliani <mechvel at botik.ru> wrote:
> > On Sat, 2018-05-19 at 15:33 -0500, Andrés Sicard-Ramírez wrote:
> >> 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.
> >>
> >
> >
> > Can you please delay it a bit?
>
> We have decided not to release Agda 2.5.4 this week but next week.
>
> --
> Andrés
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20180526/a390b005/attachment.html>