[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