Sanchayan Maity 86747c619d nvim: Add support for lean ... Tree sitter queries are copied over from lean.nvim.		2024-02-19 21:00:13 +05:30
..
folds.scm	nvim: Add support for lean	2024-02-19 21:00:13 +05:30
highlights.scm	nvim: Add support for lean	2024-02-19 21:00:13 +05:30
injections.scm	nvim: Add support for lean	2024-02-19 21:00:13 +05:30
locals.scm	nvim: Add support for lean	2024-02-19 21:00:13 +05:30