Adds syntax highlighting and snippets for the TLA+ specification language to Atom. Includes support for PlusCal (both p and c version).
Feel free to provide feature requests or bug reports using the link above.
Code contributions are greatly appreciated. Please fork this repository and open a pull request to add snippets, make grammar tweaks, etc.
Good catch. Let us know what about this package looks wrong to you, and we'll investigate right away.