Interpreter: define a type family for comparable ty (!139) · Merge requests · Formal Land / Coq Tezos of OCaml 💫 · GitLab

Guillaume Claret requested to merge 72-interpreter-define-a-type-family-for-comparable_ty into master Dec 01, 2021

Closes https://gitlab.com/foobar-land/roadmap-coq-tezos-of-ocaml/-/issues/72

Edited Dec 06, 2021 by Guillaume Claret