[Agda] ANNOUNCE: Agda 2.4.2.4 release candidate
Andreas Abel
abela at chalmers.se
Tue Sep 15 14:22:10 CEST 2015
>> On 14 September 2015 at 16:37, Sergei Meshveliani <mechvel at botik.ru>
wrote:
>> 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.
Seems like the hard work on Serialization has borne some fruits.
--
Andreas Abel <>< Du bist der geliebte Mensch.
Department of Computer Science and Engineering
Chalmers and Gothenburg University, Sweden
andreas.abel at gu.se
http://www2.tcs.ifi.lmu.de/~abel/
More information about the Agda
mailing list