-- Alias for vim.g
local g = vim.g

-- Run COQ on open
g.coq_settings = {
    auto_start = 'shut-up',
    limits = {
        completion_manual_timeout = 2000,
    },
}