Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Standalone language server #68

Open
jorge-jbs opened this issue Oct 2, 2020 · 2 comments
Open

Standalone language server #68

jorge-jbs opened this issue Oct 2, 2020 · 2 comments

Comments

@jorge-jbs
Copy link

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
Copy link
Member

fabianhauser commented Oct 7, 2020 •
edited
Loading

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 fabianhauser reopened this Oct 7, 2020
@fabianhauser
Copy link
Member

(keeping this open until we are there.)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@fabianhauser @jorge-jbs