coq.thirdparty
coq.thirdparty copied to clipboard
How to use ?
Hi, I just discovered modding and nvim at the same time. So I lack a lot of notion so my question may seem stupid.
I've installed coq and third party like this:
But i dont know how to use third party, where i'm supposed to put this ? In ~/.config/nvim/init.vim ? Or somewhere else ?
{
{ src = "builtin/ada" },
{ src = "builtin/c" },
{ src = "builtin/clojure" },
{ src = "builtin/css" },
{ src = "builtin/haskell" },
{ src = "builtin/html" },
{ src = "builtin/js" },
{ src = "builtin/php" },
{ src = "builtin/syntax" },
{ src = "builtin/xml" },
}
I've tried like this:
And like this:
But i get error in any case.
Same question here. It's probably my lack of vim knowledge, but it's not clear to me either how this works.
Same issue.