You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
helix-plus/runtime/queries/lean
A-Walrus 1378b911b6
Fix some typos (#2978)
2 years ago
..
folds.scm feat(languages): Lean experimental tree-sitter-lean (#1422) 3 years ago
highlights.scm Fix some typos (#2978) 2 years ago
injections.scm feat(languages): Lean experimental tree-sitter-lean (#1422) 3 years ago
locals.scm feat(languages): Lean experimental tree-sitter-lean (#1422) 3 years ago