[Agda] [ANNOUNCE] Agda 2.6.2 release candidate 2

[mechvel at scico.botik.ru]

Also we forget of the standard library versions,
probably, they are different for Agda-2.6.1 and for Agda 2.6.2.rc2
(the latter uses `master' of June 5).
For example, if there is a change in Nat or Integer arithmetic 
implementation, then the
performance change in my example can be great.

--
SM


On 2021-06-06 16:11, mechvel at scico.botik.ru wrote:
> On 2021-06-06 00:07, Andrés Sicard-Ramírez wrote:
>> Dear all,
>> 
>> The Agda Team is very pleased to announce the second release candidate
>> (RC2) of Agda 2.6.2. We plan to release 2.6.2 in a few days.
>> 
> 
> 
> I have tested it on my application
>   http://www.botik.ru/pub/local/Mechveliani/docon-A/3.2rc
> 
> under  MAlonzo, ghc-9.0.1, Ubuntu Linux 18.04.
> 
> It looks like working correct.
> But the performance has reduced on  20%  relatively to  Agda-2.6.1 + 
> ghc-8.8.3.
> [..]