Add lean and ruby lsp

2026-04-27 22:58:45 +02:00
parent 6aabc394d1
commit 74260b1813
4 changed files with 69 additions and 42 deletions
--- a/lua/plugins/lean.lua
+++ b/lua/plugins/lean.lua
@@ -0,0 +1,11 @@
+return {{
+  'Julian/lean.nvim',
+  event = { 'BufReadPre *.lean', 'BufNewFile *.lean' },
+  dependencies = {
+    'nvim-lua/plenary.nvim',
+  },
+  ---@type lean.Config
+  opts = {
+    mappings = true,
+  },
+}}