https://gitlab.com/nomadic-labs/mi-cho-coq
Raw File
Tip revision: 9ed92e00ca816d43ed1294cf241ed59e452221d6 authored by Guillaume Claret on 17 December 2019, 14:31:02 UTC
Add beginning of equivalence of the interpreters
Tip revision: 9ed92e0
.gitignore
micheline_parser.v
*.ml
*.mli
_build/
*.native
back to top