dotfiles/nvim/.config/nvim/lua/plugins/languages/coq.lua

return {
    {
        'whonore/Coqtail',
        event = { 'BufReadPre *.v', 'BufNewFile *.v' },
        init = function()
            vim.g.loaded_coqtail = 1
            vim.g['coqtail#supported'] = 0
        end
    },
    {
        'tomtomjhj/vscoq.nvim',
        event = { 'BufReadPre *.v', 'BufNewFile *.v'},
        filetypes = 'coq',
        opts = true,
        dependencies = { 'whonore/Coqtail', 'neovim/nvim-lspconfig' },
    }
    -- {
    --     'tomtomjhj/coq-lsp.nvim',
    --     event = { 'BufReadPre *.v', 'BufNewFile *.v' },
    --     opts = {
    --         autostart = true,
    --     },
    --     dependencies = { 'whonore/Coqtail' }
    -- }
}