aboutsummaryrefslogtreecommitdiff
path: root/helix-syntax/languages/tree-sitter-lean
Commit message (Expand)AuthorAge
* remove all submodulesMichael Davis2022-03-10
* feat(languages): Lean experimental tree-sitter-lean (#1422)Anders Christiansen Sørby2022-01-17