[Agda] Agda interface generation memory consumption

Nils Anders Danielsson nad at Cs.Nott.AC.UK
Sat Feb 13 14:23:44 CET 2010


On 2010-02-13 13:20, Nils Anders Danielsson wrote:
> You are using a 64-bit OS, right? I get the following statistics on my
> machine (with +RTS -s):

I forgot to mention that I had to tweak your example, because you import
a module Basics which is not in your repository.

--
/NAD


More information about the Agda mailing list