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',