diff options
Diffstat (limited to 'site/posts/CoqffiEcho.org')
-rw-r--r-- | site/posts/CoqffiEcho.org | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/site/posts/CoqffiEcho.org b/site/posts/CoqffiEcho.org index 81ae0e9..b9c531e 100644 --- a/site/posts/CoqffiEcho.org +++ b/site/posts/CoqffiEcho.org @@ -73,23 +73,23 @@ digraph dependencies { node [shape=box]; subgraph { rank=same; - FFI [label="(coq.theory FFI)"]; - ffi [label="(library ffi)"]; + FFI [label="Socket.v" style="dashed"]; + ffi [label="socket.mli"]; } subgraph { - Echo [label="(coq.theory Echo)"]; + Echo [label="Echo.v"]; } subgraph { rank=same; - echo_v [label="(coq.extraction echo)"]; - echo_ml [label="(executable echo)"]; + echo_v [label="main.v"]; + echo_ml [label="main.ml" style="dashed"]; } - ffi -> FFI [style="dotted" label="generated by coqffi"]; - echo_ml -> echo_v [dir=back style="dotted" label="generated by Coq"]; - echo_v -> Echo -> FFI; - echo_ml -> ffi; + ffi -> FFI [style="dashed" label="coqffi "]; + echo_ml -> echo_v [dir=back style="dashed" label="coqc "]; + FFI -> Echo -> echo_v; + ffi -> echo_ml; } #+END_SRC |