https://gitlab.com/nomadic-labs/mi-cho-coq
Raw File
Tip revision: 2944572c362ca154e29efd83b32bcc1142b0e5c8 authored by kristinas on 14 September 2020, 17:50:26 UTC
Finished the implementation of the Caml Case version of FA1.2.
Tip revision: 2944572
.gitignore
micheline_parser.v
*.ml
*.mli
_build/
*.native
back to top