From 7305d64a4ae08915feb9f03742466260ee07dfa7 Mon Sep 17 00:00:00 2001
From: Joshua Sun <joshuapsun@gmail.com>
Date: Wed, 28 Feb 2024 11:46:02 -0500
Subject: [PATCH] plugins

---
 lua/custom/plugins/autopairs.lua          | 15 +++++++++++++++
 lua/custom/plugins/lean.lua               | 18 ++++++++++++++++++
 lua/custom/plugins/neo-tree.lua           | 13 +++++++++++++
 lua/custom/plugins/rainbow-delimiters.lua |  3 +++
 4 files changed, 49 insertions(+)
 create mode 100644 lua/custom/plugins/autopairs.lua
 create mode 100644 lua/custom/plugins/lean.lua
 create mode 100644 lua/custom/plugins/neo-tree.lua
 create mode 100644 lua/custom/plugins/rainbow-delimiters.lua

diff --git a/lua/custom/plugins/autopairs.lua b/lua/custom/plugins/autopairs.lua
new file mode 100644
index 00000000..d271227f
--- /dev/null
+++ b/lua/custom/plugins/autopairs.lua
@@ -0,0 +1,15 @@
+return {
+  "windwp/nvim-autopairs",
+  -- Optional dependency
+  dependencies = { 'hrsh7th/nvim-cmp' },
+  config = function()
+    require("nvim-autopairs").setup {}
+    -- If you want to automatically add `(` after selecting a function or method
+    local cmp_autopairs = require('nvim-autopairs.completion.cmp')
+    local cmp = require('cmp')
+    cmp.event:on(
+      'confirm_done',
+      cmp_autopairs.on_confirm_done()
+    )
+  end,
+}
diff --git a/lua/custom/plugins/lean.lua b/lua/custom/plugins/lean.lua
new file mode 100644
index 00000000..efebd713
--- /dev/null
+++ b/lua/custom/plugins/lean.lua
@@ -0,0 +1,18 @@
+return {
+  'Julian/lean.nvim',
+  event = { 'BufReadPre *.lean', 'BufNewFile *.lean' },
+
+  dependencies = {
+    'neovim/nvim-lspconfig',
+    'nvim-lua/plenary.nvim',
+    -- you also will likely want nvim-cmp or some completion engine
+  },
+
+  -- see details below for full configuration options
+  opts = {
+    lsp = {
+      on_attach = on_attach,
+    },
+    mappings = true,
+  }
+}
diff --git a/lua/custom/plugins/neo-tree.lua b/lua/custom/plugins/neo-tree.lua
new file mode 100644
index 00000000..c80fae26
--- /dev/null
+++ b/lua/custom/plugins/neo-tree.lua
@@ -0,0 +1,13 @@
+
+return {
+  "nvim-neo-tree/neo-tree.nvim",
+  version = "*",
+  dependencies = {
+    "nvim-lua/plenary.nvim",
+    "nvim-tree/nvim-web-devicons", -- not strictly required, but recommended
+    "MunifTanjim/nui.nvim",
+  },
+  config = function ()
+    require('neo-tree').setup {}
+  end,
+}
diff --git a/lua/custom/plugins/rainbow-delimiters.lua b/lua/custom/plugins/rainbow-delimiters.lua
new file mode 100644
index 00000000..021dde09
--- /dev/null
+++ b/lua/custom/plugins/rainbow-delimiters.lua
@@ -0,0 +1,3 @@
+return {
+  "HiPhish/rainbow-delimiters.nvim",
+}