[go: up one dir, main page]

Draft: Translation of proto J

Guillaume Claretrequested to merge
guillaume-claret@proto_alpha-coq-of-ocaml-proto-j into master

Translation of proto J, working from a state when the proto-J was in proto_alpha/. So we probably need to update this branch to target the proto-J folder instead.

Merge request reports