Geeks
agentultra
/
TLAGrammar
A Textmate-compatible grammar for TLA+
MIT License
MIT
TLAGrammar GitHub
Markdown
Readme
2
Issues
1
Stargazer
3
Watchers
TLAGrammar
A Textmate-compatible grammar for TLA+