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 /languages.toml | |
| 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 'languages.toml')
| -rw-r--r-- | languages.toml | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/languages.toml b/languages.toml index af15c654..2896dd32 100644 --- a/languages.toml +++ b/languages.toml @@ -242,6 +242,17 @@ comment-token = "%" indent = { tab-width = 4, unit = "\t" } [[language]] +name = "lean" +scope = "source.lean" +injection-regex = "lean" +file-types = ["lean"] +roots = [ "lakefile.lean" ] +comment-token = "--" +language-server = { command = "lean", args = [ "--server" ] } + +indent = { tab-width = 2, unit = " " } + +[[language]] name = "julia" scope = "source.julia" injection-regex = "julia" |