diff options
| author | Ruben Beltran del Rio <jj@r.bdr.sh> | 2026-04-19 23:35:38 +0200 |
|---|---|---|
| committer | Ruben Beltran del Rio <jj@r.bdr.sh> | 2026-05-03 01:40:20 +0200 |
| commit | 03826ed4582c6daa07b1dcae32a675d49f318c50 (patch) | |
| tree | fc8273391e473fc45397ed48b6b1af42563e55c7 /config/nvim/lua/plugins.lua | |
| parent | cb3048ea88f56fffa43eeb2cf8262e8518c6c0c4 (diff) | |
Add new languages to neovim
Diffstat (limited to 'config/nvim/lua/plugins.lua')
| -rw-r--r-- | config/nvim/lua/plugins.lua | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/config/nvim/lua/plugins.lua b/config/nvim/lua/plugins.lua index 7958eab..2feda55 100644 --- a/config/nvim/lua/plugins.lua +++ b/config/nvim/lua/plugins.lua @@ -56,6 +56,21 @@ require('lazy').setup({ -- Syntaxes 'ARM9/snes-syntax-vim', 'https://git.sr.ht/~torresjrjr/gemini.vim', + { + 'Julian/lean.nvim', + event = { 'BufReadPre *.lean', 'BufNewFile *.lean' }, + + dependencies = {}, + + ---@type lean.Config + opts = { + mappings = true, + } + }, + { + "R-nvim/R.nvim", + lazy = false + }, -- Debugging & Testing { |