path: root/site/posts/
diff options
authorThomas Letan <>2021-02-24 13:50:57 +0100
committerThomas Letan <>2021-02-24 13:50:57 +0100
commit1a197fb354a82a31deca4f9b118f057bbd0038b6 (patch)
treeff1c6d56b0ae99de4fbd72375afd27db97e54359 /site/posts/
parentAdd some news about January, 2021 (diff)
Release of coqffi 1.0.0~beta4
Diffstat (limited to 'site/posts/')
1 files changed, 1 insertions, 1 deletions
diff --git a/site/posts/ b/site/posts/
index 36594a9..04fa253 100644
--- a/site/posts/
+++ b/site/posts/
@@ -43,7 +43,7 @@ We have three directories at the root of the project.
- ~ffi/~ contains the low-level OCaml code ::
It provides an OCaml library (~ffi~), and a Coq theory (~FFI~) which
- gathers the FFI modules generated by ~coqffi.
+ gathers the FFI modules generated by ~coqffi~.
- ~src/~ contains the Coq implementation of our echo server ::
It provides a Coq theory (~Echo~) which depends on the ~FFI~ theory
the ~SimpleIO~ theory of ~coq-simple~io~. This theory provides the