diff options
Diffstat (limited to 'site/posts/Coqffi.org')
| -rw-r--r-- | site/posts/Coqffi.org | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/site/posts/Coqffi.org b/site/posts/Coqffi.org index 7937901..3d8b867 100644 --- a/site/posts/Coqffi.org +++ b/site/posts/Coqffi.org @@ -4,8 +4,8 @@ ~coqffi~ generates Coq FFI modules from compiled OCaml interface modules (~.cmi~). In practice, it greatly reduces the hassle to mix -together OCaml and Coq modules within the same codebase, especially -when used together with the ~build~ build system. +OCaml and Coq modules within the same codebase, especially when used +together with the ~dune~ build system. - [[./CoqffiIntro.org][~coqffi~ in a Nutshell]] :: For each entry of a ~cmi~ file, ~coqffi~ tries to generate an |