diff options
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 |