summaryrefslogtreecommitdiff
path: root/runtime/queries/lean
Commit message (Expand)AuthorAge
* Fix some typos (#2978)A-Walrus2022-07-06
* feat(languages): Lean experimental tree-sitter-lean (#1422)Anders Christiansen Sørby2022-01-17