[Agda] memory eagerness

[Nils Anders Danielsson]

On 2013-05-06 20:33, Sergei Meshveliani wrote:
> But now the question is more concrete:  6 Gb is overfilled, the
> program is not large, and I do not know how to continue.

Have you tried using abstract? If you have some piece of code that you
know Agda does not need to unfold, then it may be worth marking it as
abstract, in which case Agda won't unfold it (except when checking other
bodies in the same "abstract block").

-- 
/NAD