From 1a197fb354a82a31deca4f9b118f057bbd0038b6 Mon Sep 17 00:00:00 2001 From: Thomas Letan Date: Wed, 24 Feb 2021 13:50:57 +0100 Subject: Release of coqffi 1.0.0~beta4 --- site/posts/CoqffiEcho.org | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'site/posts/CoqffiEcho.org') diff --git a/site/posts/CoqffiEcho.org b/site/posts/CoqffiEcho.org index 36594a9..04fa253 100644 --- a/site/posts/CoqffiEcho.org +++ b/site/posts/CoqffiEcho.org @@ -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 -- cgit v1.2.3