This website requires JavaScript.
Explore
Help
Sign In
helix-editor
/
helix
Watch
1
Star
1
Fork
0
You've already forked helix
mirror of
https://github.com/helix-editor/helix.git
synced
2024-08-17 06:40:47 +03:00
Code
Issues
Projects
Releases
Wiki
Activity
master
helix
/
runtime
/
queries
/
lean
History
A-Walrus
1378b911b6
Fix some typos (
#2978
)
2022-07-05 21:49:54 -05:00
..
folds.scm
feat(languages): Lean experimental tree-sitter-lean (
#1422
)
2022-01-17 23:05:17 +09:00
highlights.scm
Fix some typos (
#2978
)
2022-07-05 21:49:54 -05: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