search

informalsystems / quint

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
Apache License 2.0
808 stars 31 forks source link

Add grammer to GithHub's "linguist" to get syntax highlighting on github rendering #448

Open shonfeder opened 1 year ago

shonfeder commented 1 year ago

Just tracking this eventual goal in an issue.

This requires 100 or distinct 200 repos using the language, so unless their policy changes, won't be achieved within the next little while. See https://github.com/github/linguist/blob/master/CONTRIBUTING.md#adding-an-extension-to-a-language

Thanks to @lasarojc for motivating me to notice we don't have this tracked as an issue yet :)

konnov commented 1 year ago

Yep, that will be a long-term effort, unless somebody at Github falls in love with our language :)