diff options
Diffstat (limited to 'site/posts/Coqffi.org')
| -rw-r--r-- | site/posts/Coqffi.org | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/site/posts/Coqffi.org b/site/posts/Coqffi.org index 3d8b867..f8d9695 100644 --- a/site/posts/Coqffi.org +++ b/site/posts/Coqffi.org @@ -1,6 +1,7 @@ -#+BEGIN_EXPORT html -<h1>A Series on <code>coqffi</code></h1> -#+END_EXPORT +#+TITLE: A series on ~coqffi~ + +#+SERIES: ../coq.html +#+SERIES_PREV: AlgebraicDatatypes.html ~coqffi~ generates Coq FFI modules from compiled OCaml interface modules (~.cmi~). In practice, it greatly reduces the hassle to mix |