[Agda] agdai size

Sergei Meshveliani mechvel at botik.ru
Wed Sep 16 15:10:45 CEST 2015


Correction:

I wrote recently about that 
(1) space expence in the Agda-2.4.2.3.20150913 type checker is 3 smaller
    on the DoCon-A library,
(2) .agdai  are smaller.


I look now more attentively and see that
(2) does not hold, the .agdai file sizes are about the same,
(1) is all right.

------
Sergei
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20150916/4c774c51/attachment.html


More information about the Agda mailing list