[Agda] Tricks to limit the memory consumption?

[Nils Anders Danielsson]

On 2011-01-10 01:23, gallais @ EnsL.org wrote:
> - use « open import ... using ... » in order to avoid loading too much
>   lemmas

I wouldn't expect this to have any noticeable effect.

-- 
/NAD