TLA+ for Zed
TLA+ and PlusCal syntax support for the Zed editor.
Features
TLA+ / PlusCal (.tla)
- Syntax highlighting for TLA+ keywords, PlusCal constructs, operators, literals, and comments
- Code outline and symbol navigation (modules, operators, functions, theorems, assumptions, constants, variables, PlusCal algorithms/processes/procedures/macros)
- Bracket matching and auto-closing (
(),[],{},<< >>,(* *),"") - Indentation support and code folding
- Line comments (
\\*) and block comments ((* *))
TLC Configuration (.cfg)
- Syntax highlighting for all TLC directives, constant definitions, literals, and comments
- Line comments (
\\*)
Installation
- Open Zed
- Open the extensions panel (
Ctrl+Shift+X/Cmd+Shift+X) - Search for "TLA+"
- Click Install
Grammars
This extension uses two tree-sitter grammars:
- tree-sitter-tlaplus — TLA+ and PlusCal
- tree-sitter-tlaplus-cfg — TLC configuration files
License
BSD 3-Clause