41554 blogs · 4,450,554 posts Claim your blog

Record · corpus.blog/posts/01a087e2-e3d7-73b2-8658-ff2b89610ad1

coqffi.1.0.0 In A Nutshell

soap.coffee · published 10 December 2020

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at soap.coffee Wayback capture

0blogs citing

First cited: —
Most recent: —
Rank this month: not ranked
Links from this post: 12
Words captured: 2,752

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

https://github.com/coq-community/coqffi/issues

github.com

https://coq.inria.fr/opam/www

coq.inria.fr

https://github.com/coq-community/coqffi

github.com

https://github.com/Lysxia/coq-simple-io

github.com

https://github.com/ANSSI-FR/FreeSpec

github.com

https://github.com/DeepSpec/InteractionTrees

github.com

https://github.com/coq/coq/pull/13559

github.com

https://coq.inria.fr/refman/language/core/inductive.html

coq.inria.fr

https://ocsigen.org/lwt/5.3.0/manual/manual

ocsigen.org

https://github.com/lthms/FreeSpec

github.com

https://github.com/lthms/FreeSpec/blob/master/theories/FFI/FFI.v

github.com

https://caml.inria.fr/pub/docs/manual-ocaml/extensiblevariants.html

caml.inria.fr