[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