lambdapi
lambdapi copied to clipboard
Vscode extension in the open VSX registry
It would be nice if the vscode extension is also in the open VSX registry, so that vscodium users can easily install the extension.
Once that is set up, if it's something you'd like, I can make a PR automating the publishing of the vscode extension with https://github.com/HaaLeo/publish-vscode-extension .
Thank you for your issue Fernando. This is definitely something to do indeed. I will try to do this in the coming weeks or in June or July.