TextMate grammar files for the Leo language, consumed by GitHub Linguist to highlight .leo files (vendored as the source.leo grammar submodule).
syntaxes/leo.tmLanguage.json is the hand-maintained source of truth. Edit it directly to track language changes (keep it aligned with the tree-sitter grammar and parser in ProvableHQ/leo), then regenerate the plist:
yarn install
yarn build:grammar
This rewrites syntaxes/leo.tmLanguage (the XML plist mirror) from the JSON. Commit both files.