do some large trolling and move to coq

init.lua

@@ -11,11 +11,8 @@ Plug 'kyazdani42/nvim-tree.lua'
 Plug 'lukas-reineke/indent-blankline.nvim'
 Plug 'joshdick/onedark.vim'
 Plug 'nvim-treesitter/nvim-treesitter'
-Plug 'hrsh7th/cmp-nvim-lsp'
+Plug('ms-jpq/coq_nvim', {branch = 'coq'})
-Plug 'hrsh7th/cmp-buffer'
+Plug('ms-jpq/coq.artifacts', {branch = 'artifacts'})
-Plug 'hrsh7th/nvim-cmp'
-Plug 'L3MON4D3/LuaSnip'
-Plug 'saadparwaiz1/cmp_luasnip'
 Plug 'akinsho/bufferline.nvim'
 Plug 'numtostr/FTerm.nvim'
 Plug 'andweeb/presence.nvim'

lua/plugins.lua

@@ -1,4 +1,5 @@
 local gps = require("nvim-gps")
+local coq = require "coq"
 gps.setup()
 
 require("indent_blankline").setup {
@@ -7,30 +8,13 @@ require("indent_blankline").setup {
 }
 
 require'lspconfig'.clangd.setup{
-	capabilities = require('cmp_nvim_lsp').update_capabilities(vim.lsp.protocol.make_client_capabilities())
+	coq.lsp_ensure_capabilities()
 }
 require'lspconfig'.denols.setup{
-	capabilities = require('cmp_nvim_lsp').update_capabilities(vim.lsp.protocol.make_client_capabilities())
+	coq.lsp_ensure_capabilities()
 }
 
-local cmp = require('cmp')
+vim.cmd('COQnow -s')
-
-cmp.setup({
-    snippet = {
-      expand = function(args)
-      	require('luasnip').lsp_expand(args.body)
-      end,
-    },
-    mapping = {
-      ['<C-Space>'] = cmp.mapping.complete(),
-      ['<CR>'] = cmp.mapping.confirm({ select = true }),
-    },
-    sources = {
-        {name = 'nvim_lsp'},
-    	{name = 'luasnip'},
-    	{name = 'buffer'},
-    }
-})
 
 require('lualine').setup {
   options = {