From 75555dbfa5576f2daddb6ac60769e96941f838b8 Mon Sep 17 00:00:00 2001 From: Sergii Tykhomyrov Date: Wed, 4 Nov 2026 20:55:57 +0100 Subject: nvim: add Lean plugin --- nvim/dot-config/nvim/lazy-lock.json | 1 + nvim/dot-config/nvim/lua/plugins/lean.lua | 7 +++++++ 2 files changed, 8 insertions(+) create mode 100644 nvim/dot-config/nvim/lua/plugins/lean.lua diff --git a/nvim/dot-config/nvim/lazy-lock.json b/nvim/dot-config/nvim/lazy-lock.json index 0f30ae4..255a6b0 100644 --- a/nvim/dot-config/nvim/lazy-lock.json +++ b/nvim/dot-config/nvim/lazy-lock.json @@ -1,6 +1,7 @@ { "d2-vim": { "branch": "master", "commit": "a950f1a276506ac4bbc274dd65ba98b15a1d490d" }, "lazy.nvim": { "branch": "main", "commit": "306a05526ada86a7b30af95c5cc81ffba93fef97" }, + "lean.nvim": { "branch": "main", "commit": "52a2eeb623e01033c82fbe8d73cdf6da4caf62ee" }, "lush.nvim": { "branch": "main", "commit": "9c60ec2279d62487d942ce095e49006af28eed6e" }, "mason-lspconfig.nvim": { "branch": "main", "commit": "e17625cdc8c2650787467398e02c5d63a2cde966" }, "mason.nvim": { "branch": "main", "commit": "2a6940af80375532e5e9e7c1f2fc6319a1b7a69d" }, diff --git a/nvim/dot-config/nvim/lua/plugins/lean.lua b/nvim/dot-config/nvim/lua/plugins/lean.lua new file mode 100644 index 0000000..0180461 --- /dev/null +++ b/nvim/dot-config/nvim/lua/plugins/lean.lua @@ -0,0 +1,7 @@ +return { + "Julian/lean.nvim", + event = { "BufReadPre *.lean", "BufNewFile *.lean" }, + init = function() + vim.g.lean_config = { mappings = true } + end, +} -- cgit v1.2.3