Leo Instructions Grammars for GitHub Linguist Library
July 13, 2026 ยท View on GitHub
TextMate grammar files for the Leo language, consumed by GitHub Linguist to highlight .leo files (vendored as the source.leo grammar submodule).
Maintaining the grammar
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.