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 /runtime/queries/lean/locals.scm | |
| 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 'runtime/queries/lean/locals.scm')
| -rw-r--r-- | runtime/queries/lean/locals.scm | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/runtime/queries/lean/locals.scm b/runtime/queries/lean/locals.scm new file mode 100644 index 00000000..dd6c2036 --- /dev/null +++ b/runtime/queries/lean/locals.scm @@ -0,0 +1,5 @@ +[ + (module) + (namespace) + (section) +] @local.scope |