search

tlaplus-community / tree-sitter-tlaplus

A tree-sitter grammar for TLA⁺ and PlusCal
MIT License
57 stars 10 forks source link

Add vscode-anycode integration #56

Closed ahelwer closed 1 year ago

ahelwer commented 2 years ago

Tree-sitter support comes to VS Code; this seems to add basic language-server-type functionality to VS Code using tree-sitter grammars: https://github.com/microsoft/vscode-anycode

Related: https://github.com/tlaplus/vscode-tlaplus/issues/248

ahelwer commented 1 year ago

Currently there is no way to add additional languages.