[Agda] Multitheading Agda?

[Nils Anders Danielsson]

On 2018-06-10 21:43, Jason -Zhong Sheng- Hu wrote:
> Am I missing some obvious configuration?

There is currently no support for type-checking different modules in
parallel. We have discussed it, but decided to focus on other things.

> I was trying to recompile stdlib from console and emacs at the same
> time, but [...]

I would not be surprised if you get problems when running two Agda
instances at the same time in this way, I don't think the implementation
is designed to handle this situation.

-- 
/NAD