nvim: plugins: Add support for Coq
This commit is contained in:
parent
1ba2fee97d
commit
1c9b8aae40
2
nvim/.config/nvim/after/plugin/coqtail.vim
Normal file
2
nvim/.config/nvim/after/plugin/coqtail.vim
Normal file
|
@ -0,0 +1,2 @@
|
||||||
|
let g:coqtail_nosyntax = 1
|
||||||
|
let g:coqtail_noindent_comment = 1
|
|
@ -114,6 +114,11 @@ local init = function ()
|
||||||
'ray-x/lsp_signature.nvim'
|
'ray-x/lsp_signature.nvim'
|
||||||
}
|
}
|
||||||
-- Language support & syntax highlighting
|
-- Language support & syntax highlighting
|
||||||
|
-- Coq
|
||||||
|
use {
|
||||||
|
'whonore/Coqtail',
|
||||||
|
'jlapolla/vim-coq-plugin'
|
||||||
|
}
|
||||||
-- Haskell
|
-- Haskell
|
||||||
use 'neovimhaskell/haskell-vim'
|
use 'neovimhaskell/haskell-vim'
|
||||||
use {
|
use {
|
||||||
|
|
Loading…
Reference in a new issue