On 2021-11-23 19:37, Anton Setzer wrote: > What is highlighted by this is the fact that Agda seems to make a lot > of file access in the standard library I don't know if this is the cause of the slowdown that you are seeing, but Agda seems to make too many calls to stat64/lstat64: https://github.com/agda/agda/issues/5673 -- /NAD