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

Please add a minimal sample for creating an LSP client. #662

Open
NickStrupat opened this issue Jun 9, 2022 · 2 comments
Open

Please add a minimal sample for creating an LSP client. #662

NickStrupat opened this issue Jun 9, 2022 · 2 comments
Assignees
@dbaeumer
Labels
enhancement help wanted Issues identified as good community contribution opportunities
Milestone
Backlog

Comments

@NickStrupat
Copy link

The LSP samples are fairly confusing to me. Wondering if you could add a sample like this one?

https://gitlab.com/torokati44/vscode-glspc
@dbaeumer dbaeumer added this to the Backlog milestone Jun 16, 2022
@dbaeumer dbaeumer added enhancement help wanted Issues identified as good community contribution opportunities labels Jun 16, 2022
@enjoysmath
Copy link

I'm actually wanting to do the same thing to interface a visual editor (http://q.uiver.app in a Webview) with Lean4 and/or Coq, each of which has a VSCode extension (math proof assistant languages).

@ohenley
Copy link

ohenley commented Feb 17, 2024

@NickStrupat, I couldn't agree more—thx for the gem.

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

@dbaeumer dbaeumer

Labels
enhancement help wanted Issues identified as good community contribution opportunities
Projects
None yet
Milestone
Backlog
Development

No branches or pull requests
4 participants
@NickStrupat @ohenley @enjoysmath @dbaeumer