search

Gbury / dolmen

Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction
BSD 2-Clause "Simplified" License
80 stars 17 forks source link

Add VS Code config for the LSP #173

Closed hra687261 closed 1 year ago

Gbury commented 1 year ago

Thanks, that's great ! I wonder if it would be possible/desirable to have a dedicated dolmen account/extension instead of you personally hosting and maintaining the vscode extension ?

hra687261 commented 1 year ago

Fine by me! You'll have to create an Azure account and see the process on how to publish an extension, I can transfer the repo of the source code to you too.

bclement-ocp commented 1 year ago

It would be great to also publish the extension on https://open-vsx.org/ :)

hra687261 commented 1 year ago

Done: https://open-vsx.org/extension/hra687261/smt-lsp. Under my name in the mean time, until @Gbury creates a dolmen account.

Gbury commented 1 year ago

Well actually, I think that for now, we'll keep things as they are on your account, and I'll see if/when I have time to create a dolmen-specific account later, ^^

hra687261 commented 1 year ago

Fine by me as well. I was thinking that in the future it could make sens to have a dolmen organisation on GitHub, for the source code of dolmen, this extension, and other tools that could be built on top of dolmen.

Gbury commented 1 year ago

Indeed, it could make sens to have an organization for dolmen at some point.