diff options
| author | Anders Christiansen Sørby | 2022-01-17 14:05:17 +0000 |
|---|---|---|
| committer | GitHub | 2022-01-17 14:05:17 +0000 |
| commit | 8ea5742b0899992cd7453c70a8a06cb76a703fdf (patch) | |
| tree | f2bfef8caff17770525196a95113f07ff5cad65d /helix-syntax/languages/tree-sitter-lean | |
| parent | e7eab95b943ff15396c5d512a9c95650ab98a902 (diff) | |
feat(languages): Lean experimental tree-sitter-lean (#1422)
* 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>
Diffstat (limited to 'helix-syntax/languages/tree-sitter-lean')
| m--------- | helix-syntax/languages/tree-sitter-lean | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/helix-syntax/languages/tree-sitter-lean b/helix-syntax/languages/tree-sitter-lean new file mode 160000 +Subproject d98426109258b266e1e92358c5f11716d2e8f63 |