[Agda] Performance tips and profiling memory usage

Nils Anders Danielsson nad at cse.gu.se
Tue May 7 16:01:35 CEST 2019


On 02/05/2019 12.07, Matthew Daggitt wrote:
> I guess it would still be great if the wiki page on performance could
> be migrated to the new documentation and updated by someone in the
> know.

Yes, here's the page on the wiki:

   https://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.PerformanceTips

-- 
/NAD


More information about the Agda mailing list