Dafny-VSCode icon indicating copy to clipboard operation
Dafny-VSCode copied to clipboard

Published 20 hours ago • verified publisher icon DafnyVSCode

Standalone language server

Open jorge-jbs opened this issue 4 years ago • 2 comments

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!

jorge-jbs avatar Oct 02 '20 20:10 jorge-jbs

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 avatar Oct 07 '20 07:10 fabianhauser

(keeping this open until we are there.)

fabianhauser avatar Oct 07 '20 07:10 fabianhauser