TLA+ extension for VS Code
Includes:
- TLA+ syntax highlighting
Contributing
All contributions are extremely welcome.
Future development
We want to explore integrating parts of the VS Code debugger with TLC to show backtraces of failed runs directly in the editor.