search

koka-lang / madoko

Madoko is a fast markdown processor for high quality academic and technical articles
Other
393 stars 42 forks source link

Adds tla.json to lang styles folder. #73

Open pfeodrippe opened 3 years ago

pfeodrippe commented 3 years ago

Adds lang style for TLA+, very basic for now.

cc @lemmy.

Madoko is a great project, BTW.