Please add a minimal sample for creating an LSP client.

microsoft / vscode-extension-samples

Sample code illustrating the VS Code extension API.

MIT License

8.44k stars 3.32k forks source link

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

Open NickStrupat opened 2 years ago

NickStrupat commented 2 years ago

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

https://gitlab.com/torokati44/vscode-glspc

enjoysmath commented 1 year ago

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 commented 5 months ago

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