The Coq mailing list

[e AT x80.org (Emilio Jesús Gallego Arias)]

Dear Dan,

Dan Frumin 
<dfrumin AT cs.ru.nl>
 writes:

> Is there an up to date documentation on the Coq’s OCaml’s interface
> somewhere?

There is some documentation in the source code itself, which can be
compiled to a pdf, in the dev/doc directory of the distribution, and in
the Coq wiki.

Admittedly, work on a README.dev is badly needed but people is trying.

There also are a couple of Coq plugin tutorials around (*), I also
believe that Talia Ringer recently wrote recently about their CoqAST
plugin.

> I would like to write a plugin, but I didn’t find anything on the
> website or in the refman. I suppose the only way would be to just
> dig into the source code?

Your best bet is to try to understand an existing plugin (be sure that
you pick one that is written correctly, this is far from trivial in
particular with regards to "universe handling")

You can also ask questions on the coqdev mailing list 
(coqdev AT inria.fr),
and many Coq developers hang around in Coq's gitter
(https://gitter.im/coq/coq)

Best,
E.

(*) https://www.google.com/search?q=coq+plugin+tutorial