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