[Agda] agda under windows WSL

Nils Anders Danielsson nad at cse.gu.se
Wed Nov 24 15:35:30 CET 2021


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


More information about the Agda mailing list