<div dir="ltr">Hi all,<br><div> The standard library has now reached the point where it's taking ~7GB of RAM to check which is obviously putting a strain on my 8GB laptop. I was wondering if there were either:</div><div><br></div><div>a) any tips or tricks for reducing memory usage. I've found <a href="https://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.PerformanceTips">this</a> page on the old Wiki, but given it was last updated 6 years ago I assume things have probably moved on. The new documentation doesn't seem to have a corresponding page.</div><div><br></div><div>b) any way of profiling memory usage per module? Running htop I've noticed that the memory usage often suddenly jumps by half a gig or more. I'm wondering if there are a couple of files responsible and if so whether there is an easy way I could locate them?</div><div><br></div><div>Many thanks,</div><div>Matthew</div></div>