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
..
ftplugin	nvim: Add support for lean	2024-02-19 21:00:13 +05:30
plugin	nvim: Use Ruff as Python LSP	2023-10-26 13:06:11 +05:30