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

Support gobrapls #5

Open

gottschali opened this issue Oct 9, 2024 · 0 comments

gottschali commented Oct 9, 2024

First of all thanks for providing gobra-mode :)

There has been a recent effort to add a LSP for gobra: gobrapls.

It looks like it is still work in progress and currently only has installation instructions for Neovim.

This would be a nice improvement to the developer experience with gobra in emacs.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment