[Agda] Tricks to limit the memory consumption?

[Nils Anders Danielsson]

On 2011-01-10 17:03, kahl at cas.mcmaster.ca wrote:
> are there any plans to add something like GHC's -fwarn-unused-imports?

I don't think so. Implementing something like this should be rather
easy; patches are welcome. :)

-- 
/NAD