darkrc/vim/plugin/coq.lua

xpcall(function()
	require("coq")
	vim.api.nvim_command("command COQ COQnow --shut-up")
end, function()
	vim.api.nvim_command("command COQ echoerr 'COQ not loaded.'")
end)