on d4e45fd 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)