summaryrefslogtreecommitdiff
path: root/runtime/queries/lean/injections.scm
Commit message (Expand)AuthorAge
* feat(languages): Lean experimental tree-sitter-lean (#1422)Anders Christiansen Sørby2022-01-17