From 27c4be39c925f9b47aea6ce40a3f7503f50fc880 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Peter=20Dom=C3=ADnguez?= <correo@peterdominguez.art>
Date: Thu, 8 May 2025 20:40:34 -0400
Subject: [PATCH] include coq.lua file

---
 .config/nvim/lua/plugins/coq.lua | 32 ++++++++++++++++++++++++++++++++
 1 file changed, 32 insertions(+)
 create mode 100644 .config/nvim/lua/plugins/coq.lua

diff --git a/.config/nvim/lua/plugins/coq.lua b/.config/nvim/lua/plugins/coq.lua
new file mode 100644
index 0000000..2ce438a
--- /dev/null
+++ b/.config/nvim/lua/plugins/coq.lua
@@ -0,0 +1,32 @@
+-- lualine
+return {
+{
+"neovim/nvim-lspconfig", -- REQUIRED: for native Neovim LSP integration
+  lazy = false, -- REQUIRED: tell lazy.nvim to start this plugin at startup
+  dependencies = {
+    -- main one
+    { "ms-jpq/coq_nvim", branch = "coq" },
+
+    -- 9000+ Snippets
+    { "ms-jpq/coq.artifacts", branch = "artifacts" },
+
+    -- lua & third party sources -- See https://github.com/ms-jpq/coq.thirdparty
+    -- Need to **configure separately**
+    { 'ms-jpq/coq.thirdparty', branch = "3p" }
+    -- - shell repl
+    -- - nvim lua api
+    -- - scientific calculator
+    -- - comment banner
+    -- - etc
+  },
+  init = function()
+    vim.g.coq_settings = {
+        auto_start = "shut-up", -- if you want to start COQ at startup
+        -- Your COQ settings here
+    }
+  end,
+  config = function()
+    -- Your LSP settings here
+  end,
+ }
+}