[Agda] ANNOUNCE: Agda 2.4.2.4 release candidate

Andrés Sicard-Ramírez asr at eafit.edu.co
Mon Sep 14 23:46:19 CEST 2015


On 14 September 2015 at 16:37, Sergei Meshveliani <mechvel at botik.ru> wrote:
> 1) The bug which forced the two  NO_TERMINATION_CHECK  decls in my
>    DoCon-A is fixed.
> 2) Checking DoCon-A takes 3 times less space
>    (I have not tried  --sharing  so far).
> 3) I have an impression that the  *.agdai  files have become 5 times
>    smaller.
>
> This is great!

Thanks for your feedback!


-- 
Andrés


More information about the Agda mailing list