[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