Sign in
Join now
helix
tinger.dev
/
Star
Starred
Star
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
A fork of helix with a bespoke collection patches.
Star
Starred
Star
Something went wrong. Try again.
Fork
Eye filled
Watch
Watching
Watch
Overview
Overview
Issues
Issues
Pulls
Pulls
Pipelines
Pipelines
helix
/
runtime
/
queries
/
lean
4 files
at
master
may
·
fix(highlights/lean): fix boolean highlighting
·
6mo ago
a9723fb4
folds.scm
feat(languages): Lean experimental tree-sitter-lean (#1422)
4y ago
highlights.scm
fix(highlights/lean): fix boolean highlighting
6mo ago
injections.scm
feat(languages): Lean experimental tree-sitter-lean (#1422)
4y ago
locals.scm
feat(languages): Lean experimental tree-sitter-lean (#1422)
4y ago