search

DafnyVSCode / Dafny-VSCode

Dafny 2 for Visual Studio Code (Legacy)
https://marketplace.visualstudio.com/items?itemName=correctnessLab.dafny-vscode-legacy
MIT License
18 stars 12 forks source link

Standalone language server #68

Open jorge-jbs opened 4 years ago

jorge-jbs commented 4 years ago

I would like to have Dafny support in an editor that supports the LSP (Kakoune). The language server that is developed here seems to only work under VS Code. How can I have a standalone server executable from this codebase? Is it even possible? Thanks!

fabianhauser commented 4 years ago

Hi @jorge-jbs

With the implementation in this repository, it is currently not easily possible to add another LSP-Client. However, we are currently working on a new Language Server, and I hope we can release a first version this month!

fabianhauser commented 4 years ago

(keeping this open until we are there.)