search

hwayne / learntla-v2

Learn TLA+ for free! No prior experience necessary!
https://www.learntla.com
Other
198 stars 40 forks source link

fix: malformed math syntax highlighting #64

Closed acud closed 1 year ago

acud commented 1 year ago

Closes https://github.com/hwayne/learntla-v2/issues/62