From 03826ed4582c6daa07b1dcae32a675d49f318c50 Mon Sep 17 00:00:00 2001
From: Ruben Beltran del Rio <jj@r.bdr.sh>
Date: Sun, 19 Apr 2026 23:35:38 +0200
Subject: Add new languages to neovim

---
 config/nvim/lua/plugins.lua | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

(limited to 'config/nvim/lua/plugins.lua')

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
   {
-- 
cgit