better-comments
better-comments copied to clipboard
Add TLA+ and PlusCal support
This PR adds support for the TLA+ formal specification language and its satellite PlusCal language.
What is missing before this PR can be merged? I'm happy to take this on.