<div dir="ltr">I tried the RC on my <a href="https://github.com/Rotsor/Primes">Primes</a> 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.<div><br></div><div>It's totally unimportant to have this specific thing work well, but I thought people might find the slowdown surprising.</div></div><div class="gmail_extra"><br><div class="gmail_quote">On 25 May 2018 at 20:26, Andrés Sicard-Ramírez <span dir="ltr"><<a href="mailto:asr@eafit.edu.co" target="_blank">asr@eafit.edu.co</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">On 25 May 2018 at 12:56, Sergei Meshveliani <<a href="mailto:mechvel@botik.ru">mechvel@botik.ru</a>> wrote:<br>
> On Sat, 2018-05-19 at 15:33 -0500, Andrés Sicard-Ramírez wrote:<br>
</span><span class="">>> The Agda Team is very pleased to announce the first release candidate<br>
>> of Agda 2.5.4. We plan to release 2.5.4 in one week.<br>
>><br>
><br>
><br>
> Can you please delay it a bit?<br>
<br>
</span>We have decided not to release Agda 2.5.4 this week but next week.<br>
<span class="HOEnZb"><font color="#888888"><br>
-- <br>
Andrés<br>
</font></span><div class="HOEnZb"><div class="h5">______________________________<wbr>_________________<br>
Agda mailing list<br>
<a href="mailto:Agda@lists.chalmers.se">Agda@lists.chalmers.se</a><br>
<a href="https://lists.chalmers.se/mailman/listinfo/agda" rel="noreferrer" target="_blank">https://lists.chalmers.se/<wbr>mailman/listinfo/agda</a><br>
</div></div></blockquote></div><br></div>