In src/Tools/VSCode/src I see only .scala files. Am I right saying that the VSCode extension is entirely implemented in Scala?
The LSP server is purely scala. The VSCode extension is under ./src/Tools/VSCode/extension/src/
(*.ts
)
Last updated: Dec 07 2024 at 16:22 UTC