diff options
author | Thomas Letan <lthms@soap.coffee> | 2020-12-10 15:57:38 +0100 |
---|---|---|
committer | Thomas Letan <lthms@soap.coffee> | 2020-12-10 15:58:54 +0100 |
commit | 9098a01e91de1f924ae58b87e3e30af8083ef792 (patch) | |
tree | e5aa94ecc16e4ed0faea8bc6224426415656cb46 /site/index.org | |
parent | Fix the generation of coqffi-tutorial.tar.gz (diff) |
Spellchecking and revisions table for the coqffi articles
Diffstat (limited to 'site/index.org')
-rw-r--r-- | site/index.org | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/site/index.org b/site/index.org index ea0d27b..e1b61bc 100644 --- a/site/index.org +++ b/site/index.org @@ -54,9 +54,9 @@ machine-checked proofs. - [[./posts/Coqffi.org][A Series on ~coqffi~]] :: ~coqffi~ generates Coq FFI modules from compiled OCaml interface - modules (~.cmi~). In practice, it greatly reduces the hassle to mix + modules (~.cmi~). In practice, it greatly reduces the hassle to together OCaml and Coq modules within the same codebase, especially - when used together with the ~build~ build system. + when used together with the ~dune~ build system. * About Haskell |