Open lukaszcz opened 3 weeks ago
The VSCode extension is not very usable and it hasn't been updated in some time.
I believe many of the issues (https://github.com/anoma/vscode-juvix/issues) can be solved at least partly even without having the language server.
The VSCode extension is not very usable and it hasn't been updated in some time.
I believe many of the issues (https://github.com/anoma/vscode-juvix/issues) can be solved at least partly even without having the language server.