17 lines
638 B
Lua
17 lines
638 B
Lua
return {
|
|
"ms-jpq/coq_nvim",
|
|
branch = "coq",
|
|
run = ":COQdeps", -- Installs required dependencies
|
|
config = function()
|
|
-- Load the coq plugin
|
|
require("coq")()
|
|
|
|
-- Optional: Load the recommended plugins for better completion experience
|
|
require("coq")({
|
|
{ src = "nvimlua", short_name = "nLUA", conf_only = false }, -- For Neovim Lua API
|
|
{ src = "bc", short_name = "MATH", precision = 6 }, -- For mathematical calculations
|
|
{ src = "cow", trigger = "!cow" }, -- For ASCII cows
|
|
{ src = "figlet", trigger = "!big" }, -- For ASCII art
|
|
})
|
|
end,
|
|
}
|