[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