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

-- Run COQ on open
g.coq_settings = {
    auto_start = "shut-up"
}