on 29d6a5a help sign in
4 files
../ folds.scmfeat(languages): Lean experimental tree-sitter-lean (#1422) highlights.scmfeat(languages): Lean experimental tree-sitter-lean (#1422) injections.scmfeat(languages): Lean experimental tree-sitter-lean (#1422) locals.scmfeat(languages): Lean experimental tree-sitter-lean (#1422)