TLAGrammar
April 21, 2016
ยท
View on GitHub
A Textmate-compatible grammar for TLA+