X-Git-Url: https://git.r.bdr.sh/rbdr/dotfiles/blobdiff_plain/73a2d9946ff469afa1a1a30edb1aa350032bb44c..HEAD:/config/nvim/init.lua

diff --git a/config/nvim/init.lua b/config/nvim/init.lua
index 1b5fda9..26b7156 100644
--- a/config/nvim/init.lua
+++ b/config/nvim/init.lua
@@ -84,7 +84,18 @@ vim.keymap.set("n", "<c-P>",
 -- Svelte Config
 vim.g.vim_svelte_plugin_use_typescript = true
 
+-- Coq
+vim.g.coq_settings = {
+  auto_start = 'shut-up',
+  clients = {
+    snippets = {
+      warn = {}
+    }
+  }
+}
+
 -- Plugins
 require('plugins')
+require('treesitter_config')
 require('lsp')
 require('dap_config')