forked from Mirrors/helix
You cannot select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
8ea5742b08
* Add experimental tree-sitter-lean * Run docgen * Copy over the queries from lean.nvim * Update .gitmodules Co-authored-by: Ivan Tham <pickfire@riseup.net> * Update lean highlights and run docgen * Update runtime/queries/lean/injections.scm Co-authored-by: Michael Davis <michael.davis@nfiindustries.com> * Lean: Move variable matcher to bottom * Update runtime/queries/lean/locals.scm Co-authored-by: Michael Davis <michael.davis@nfiindustries.com> Co-authored-by: Ivan Tham <pickfire@riseup.net> Co-authored-by: Michael Davis <michael.davis@nfiindustries.com> |
3 years ago | |
|---|---|---|
| .. | ||
| bash | 3 years ago | |
| c | 3 years ago | |
| c-sharp | 3 years ago | |
| cmake | 3 years ago | |
| comment | 3 years ago | |
| cpp | 3 years ago | |
| css | 3 years ago | |
| dart | 3 years ago | |
| dockerfile | 3 years ago | |
| elixir | 3 years ago | |
| fish | 3 years ago | |
| git-commit | 3 years ago | |
| git-config | 3 years ago | |
| git-diff | 3 years ago | |
| git-rebase | 3 years ago | |
| glsl | 3 years ago | |
| go | 3 years ago | |
| haskell | 3 years ago | |
| html | 4 years ago | |
| java | 3 years ago | |
| javascript | 3 years ago | |
| json | 3 years ago | |
| julia | 3 years ago | |
| latex | 3 years ago | |
| lean | 3 years ago | |
| ledger | 3 years ago | |
| llvm | 3 years ago | |
| llvm-mir | 3 years ago | |
| llvm-mir-yaml | 3 years ago | |
| lua | 3 years ago | |
| make | 3 years ago | |
| markdown | 3 years ago | |
| nix | 3 years ago | |
| ocaml | 3 years ago | |
| ocaml-interface | 3 years ago | |
| perl | 3 years ago | |
| php | 3 years ago | |
| protobuf | 3 years ago | |
| python | 3 years ago | |
| regex | 3 years ago | |
| ruby | 3 years ago | |
| rust | 3 years ago | |
| scala | 3 years ago | |
| svelte | 3 years ago | |
| tablegen | 3 years ago | |
| toml | 3 years ago | |
| tsq | 3 years ago | |
| tsx | 3 years ago | |
| typescript | 4 years ago | |
| vue | 3 years ago | |
| wgsl | 3 years ago | |
| yaml | 3 years ago | |
| zig | 3 years ago | |