on ed45d38 help sign in
helix/book
2 folders, 2 files
../ src/feat(languages): Lean experimental tree-sitter-lean (#1422) theme/Update mdbook style and fix unreadable table head (#806) .gitignoreAdd book/ (mdbook based user guide) book.tomlImprove docs, fix up a few highlight scopes