diff options
| author | Sergii Tykhomyrov <sergii@tykhomyrov.net> | 2026-11-04 20:55:57 +0100 |
|---|---|---|
| committer | Sergii Tykhomyrov <sergii@tykhomyrov.net> | 2026-11-04 20:55:57 +0100 |
| commit | 75555dbfa5576f2daddb6ac60769e96941f838b8 (patch) | |
| tree | efb056957d9559b0c4557e42e9109c506da1c5f1 | |
| parent | f85a21ebad5e02f01f88569dc309f00d6067b058 (diff) | |
| download | dotfiles-75555dbfa5576f2daddb6ac60769e96941f838b8.tar.gz dotfiles-75555dbfa5576f2daddb6ac60769e96941f838b8.zip | |
nvim: add Lean plugin
| -rw-r--r-- | nvim/dot-config/nvim/lazy-lock.json | 1 | ||||
| -rw-r--r-- | nvim/dot-config/nvim/lua/plugins/lean.lua | 7 |
2 files changed, 8 insertions, 0 deletions
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, +} |