[Agda] Tricks to limit the memory consumption?

Nils Anders Danielsson nad at Cs.Nott.AC.UK
Mon Jan 10 17:16:34 CET 2011


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


More information about the Agda mailing list