From 84f4c6956ecec18f1aa86492751517b3de78f2b9 Mon Sep 17 00:00:00 2001
From: Lol3rrr <lol3r@lol3r.net>
Date: Wed, 29 Apr 2026 11:20:27 +0200
Subject: [PATCH] Add lean

---
 lua/plugins/lean.lua | 15 +++++++++++++--
 1 file changed, 13 insertions(+), 2 deletions(-)

diff --git a/lua/plugins/lean.lua b/lua/plugins/lean.lua
index 106fd17..ab27f8c 100644
--- a/lua/plugins/lean.lua
+++ b/lua/plugins/lean.lua
@@ -3,9 +3,20 @@ return {{
   event = { 'BufReadPre *.lean', 'BufNewFile *.lean' },
   dependencies = {
     'nvim-lua/plenary.nvim',
+
+    -- optional dependencies:
+
+    -- a completion engine
+    --    hrsh7th/nvim-cmp or Saghen/blink.cmp are popular choices
+
+    -- 'nvim-telescope/telescope.nvim', -- for 2 Lean-specific pickers
+    -- 'andymass/vim-matchup',          -- for enhanced % motion behavior
+    -- 'andrewradev/switch.vim',        -- for switch support
+    -- 'tomtom/tcomment_vim',           -- for commenting
   },
+
   ---@type lean.Config
-  opts = {
+  opts = { -- see below for full configuration options
     mappings = true,
-  },
+  }
 }}