Hangs on Windows when opening agda file

[isti115]

The plugin runs perfectly for me under linux, but when I install it under Windows (I tried with vim and neovim as well) it freezes as soon as I open an agda file. I tried to look into the logs, but it seems like the freeze is so sudden, that those do not even get written to disk completely.

Do you have any idea about how I could debug this?

[derekelkins]

I'll need to setup my Windows environment to be able to try this. I tend to use WSL on Windows nowadays for this sort of thing.