helix/runtime/queries/lean at dependabot/github_actions/cachix/install-nix-action-31.11.0 - helix - git.dotya.ml

mirror/helix

mirror of https://github.com/helix-editor/helix synced 2026-08-04 02:12:59 +02:00

Files

T

History

mayandMichael Davis a9723fb415 fix(highlights/lean): fix boolean highlighting

and also fix the highlights for chars while we're here

2026-04-20 11:26:30 -04:00

..

folds.scm

feat(languages): Lean experimental tree-sitter-lean (#1422 )

2022-01-17 23:05:17 +09:00

highlights.scm

fix(highlights/lean): fix boolean highlighting

2026-04-20 11:26:30 -04:00

injections.scm

feat(languages): Lean experimental tree-sitter-lean (#1422 )

2022-01-17 23:05:17 +09:00

locals.scm

feat(languages): Lean experimental tree-sitter-lean (#1422 )

2022-01-17 23:05:17 +09:00