ms-jpq / coq.thirdparty

Module lua sources for `coq.nvim`, first & third party

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

How to use ?

samos667 opened this issue · comments

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:
image

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:
image

And like this:
image

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.

commented

Same issue.