From 0f42b82bc275d101a9788a68067420823349e3df Mon Sep 17 00:00:00 2001
From: Michael Mandl <mandlm@molez.net>
Date: Sun, 20 Feb 2022 20:08:36 +0100
Subject: [PATCH] feat: add autocompletion

---
 init.lua        | 2 ++
 lua/plugins.lua | 7 +++++++
 2 files changed, 9 insertions(+)

diff --git a/init.lua b/init.lua
index eb5fb3b..3518476 100644
--- a/init.lua
+++ b/init.lua
@@ -1,3 +1,5 @@
 require('settings')
 require('plugins')
 require('themes')
+
+vim.cmd('COQnow -s')
diff --git a/lua/plugins.lua b/lua/plugins.lua
index d7a4dca..6a1de77 100644
--- a/lua/plugins.lua
+++ b/lua/plugins.lua
@@ -48,6 +48,13 @@ return require('packer').startup(function(use)
     end
   })
 
+  -- autocompletion
+  use({
+    "ms-jpq/coq_nvim",
+    branch="coq",
+  })
+  use({'ms-jpq/coq.artifacts', branch = 'artifacts'})
+
   use('tpope/vim-fugitive')
   use ({
     'lewis6991/gitsigns.nvim',