elseLuna

On windows, if Idris 2 and the LSP have been installed via MSYS2, (i.e. not running through wsl) `Idris2-lsp: Path` needs to be changed from `idris2-lsp` to `idris2-lsp.cmd` (assuming `path\to\.idris2\bin`...

I don't have much experience with vscode extensions, so I don't know if this is the standard way to do things or not, but it seems to work fine. Additionally,...