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 /book/src | |
| 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 'book/src')
| -rw-r--r-- | book/src/generated/lang-support.md | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/book/src/generated/lang-support.md b/book/src/generated/lang-support.md index 87347819..fce14846 100644 --- a/book/src/generated/lang-support.md +++ b/book/src/generated/lang-support.md @@ -24,6 +24,7 @@ | json | ✓ | | ✓ | | | julia | ✓ | | | `julia` | | latex | ✓ | | | | +| lean | ✓ | | | `lean` | | ledger | ✓ | | | | | llvm | ✓ | ✓ | ✓ | | | llvm-mir | ✓ | ✓ | ✓ | | |