tree-sitter-tlaplus

parser

A tree-sitter grammar for TLA⁺ and PlusCal

How to download and setup tree-sitter-tlaplus

Open terminal and run command

git clone https://github.com/tlaplus-community/tree-sitter-tlaplus.git

git clone is used to create a copy or clone of tree-sitter-tlaplus repositories. You pass git clone a repository URL.
it supports a few different network protocols and corresponding URL formats.

Also you may download zip file with tree-sitter-tlaplus https://github.com/tlaplus-community/tree-sitter-tlaplus/archive/master.zip

Or simply clone tree-sitter-tlaplus with SSH

[email protected]:tlaplus-community/tree-sitter-tlaplus.git

If you have some problems with tree-sitter-tlaplus

You may open issue on tree-sitter-tlaplus support forum (system) here: https://github.com/tlaplus-community/tree-sitter-tlaplus/issues

Similar to tree-sitter-tlaplus repositories

Here you may see tree-sitter-tlaplus alternatives and analogs

postcss parsedown PHP-Parser expr-eval AlgebraicEngine-Fraction posthtml prettydiff oga m3u8 XParsec goose-parser remarkable bolt.nvim go body-parser marked javaparser spoon bblfshd astexplorer babylon nom YamlDotNet strictyaml antlr4-c3 mini-c vue-styleguidist CppSharp simplepie gofeed