18 lines
430 B
Lua
18 lines
430 B
Lua
return {
|
|
{
|
|
'whonore/Coqtail',
|
|
event = { 'BufReadPre *.v', 'BufNewFile *.v' },
|
|
init = function()
|
|
vim.g.loaded_coqtail = 1
|
|
vim.g['coqtail#supported'] = 0
|
|
end
|
|
},
|
|
{
|
|
'tomtomjhj/coq-lsp.nvim',
|
|
event = { 'BufReadPre *.v', 'BufNewFile *.v' },
|
|
opts = {
|
|
autostart = true,
|
|
},
|
|
dependencies = { 'whonore/Coqtail' }
|
|
}
|
|
}
|