[Agda] Typechecking with multiple concurrent agda processes.

[Apostolis Xekoukoulotakis]

Hello, I made a simple tool in javascript that creates a graph of agda
files based on their imports.
Then it spawns multiple agda processes and concurrently typechecks them.

It is not efficient in any way. Still with 10 processes, I can reduce the
time of compiling everything from HoTT-agda (in the theorem folder) from 17
min to 10 min.

Hope it helps.

https://github.com/xekoukou/agda-mt
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20170822/233c1230/attachment.html>