[Agda] agda under windows WSL

Anton Setzer a.g.setzer at swansea.ac.uk
Fri Nov 19 14:03:04 CET 2021


Dear all,

My university provided me with a windows only laptop and I have installed agda under windows WSL2. But it is incredibly slow, it takes about 10x longer than under a normal linux mschine with similar spec to type check. Does anybody have any hints how to speed it up?

Thanks,
Anton
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20211119/84a68a65/attachment.html>


More information about the Agda mailing list