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