https://gitlab.com/nomadic-labs/mi-cho-coq
Revision 218ee172e76a2264020b5768fa816a33d0800876 authored by Basile Pesin on 29 May 2019, 13:09:06 UTC, committed by Arvid Jakobsson on 29 November 2019, 13:40:31 UTC
1 parent a7ba07f
History
Tip revision: 218ee172e76a2264020b5768fa816a33d0800876 authored by Basile Pesin on 29 May 2019, 13:09:06 UTC
Changed symbol for typing to '::' and symbol for cons to ':' in michelson_typing
Tip revision: 218ee17
File Mode Size
doc
scripts
src
.gitignore -rw-r--r-- 309 bytes
.gitlab-ci.yml -rw-r--r-- 762 bytes
LICENSE -rw-r--r-- 1.1 KB
README.org -rw-r--r-- 8.5 KB
_CoqProject -rw-r--r-- 4 bytes
configure -rwxr-xr-x 1.6 KB
coq-mi-cho-coq.opam -rw-r--r-- 1.3 KB
mi-cho-coq.install -rw-r--r-- 73 bytes

README.org

back to top