Provides syntax highlighting and inline error reporting for the Ott semantics tool.
The emphasis is on visually distinguishing the meta-language from the language being modeled. As a result, the files end up quite colorful.
I've optimized this for the One Dark Pro theme, but it should look okay with any theme. Some classes might not get distinguished if your theme doesn't define colors for enough scopes, though.
I'm no expert when it comes to visual design, so pull-requests are welcome with regards to the color choices.
Build-on-Save and Inline Error Reporting
When you save your file, it will be run with
Then, Ott will be run with whatever args are given. This is useful for re-generating LaTeX or proof-assistant code automatically when you save.
If there are one or more magic comments of the form:
then on saving, after
Syntax highlighting recognizes some languages within the
None so far.
Contributions are welcome and encouraged! Feel free to leave any issues or submit pull requests. Alternately, if you would like to collaborate, I will happily add collaborators to the repo.
[ 0.0.6 ]
[ 0.0.5 ]
[ 0.0.4 ]
[ 0.0.3 ]
[ 0.0.2 ]
[ 0.0.1 ]