[Agda] [ANNOUNCE] Agda 2.6.1 release candidate 2

mechvel at scico.botik.ru mechvel at scico.botik.ru
Sat Mar 14 07:07:39 CET 2020


On 2020-03-09 04:55, 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.1.
> 
> [..]


I have tested it on  ghc-8.8.3, MAlonzo, Ubuntu Linux 18.04
on a certain BFLib library for binary integers and general Fraction.

The type check is 50% less space eager and 8% faster
than in Agda -January 2, 2019, ghc-8.6.3.

The run time performance is 5% higher on one example
and 30% lower on another example (summing fractions with large 
denominators
in binary system).

Probably it is better than Agda-January. And what do it mean these 30% 
in the
last example, it is difficult to tell now.

Regards,

------
Sergei




More information about the Agda mailing list