Open jbcurtin opened 3 months ago
Zola currently doesn't have the ability to syntax highlight TLA+ ( https://lamport.azurewebsites.net/tla/tla.html )
Zola version: latest & documentation
Having some kind of syntax highlighting for TLA+ for code blocks
None
Write a post with a code block and mark it tlaplus or tla+
tlaplus
tla+
Here is some example of TLA+: https://medium.com/@polyglot_factotum/why-tla-is-important-for-concurrent-programming-365d9eeb491e
Note that you can include custom Sublime syntaxes without it being implemented in Zola upstream: https://www.getzola.org/documentation/content/syntax-highlighting/
This is probably preferred for this case.
Bug Report
Zola currently doesn't have the ability to syntax highlight TLA+ ( https://lamport.azurewebsites.net/tla/tla.html )
Environment
Zola version: latest & documentation
Expected Behavior
Having some kind of syntax highlighting for TLA+ for code blocks
Current Behavior
None
Step to reproduce
Write a post with a code block and mark it
tlaplus
ortla+
Here is some example of TLA+: https://medium.com/@polyglot_factotum/why-tla-is-important-for-concurrent-programming-365d9eeb491e