Actually Stowing Files
This commit is contained in:
parent
0f42a6b9c3
commit
500aecaea1
752 changed files with 1 additions and 67593 deletions
17
vim/.config/nvim/lua/plugins/coq-nvim.lua
Normal file
17
vim/.config/nvim/lua/plugins/coq-nvim.lua
Normal file
|
@ -0,0 +1,17 @@
|
|||
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,
|
||||
}
|
Loading…
Add table
Add a link
Reference in a new issue