try the lsp jar - Githubissues

viperproject / viper-ide

This is the main repository for the Viper IDE extension for VS Code.

Mozilla Public License 2.0

10 stars 11 forks source link

Open Dspil opened 2 months ago