Skip to content
GitLab
Explore
Sign in
Register
Overview
Active
Stale
All
Stale branches
4-describe-the-virtual-machine-and-compiled-script-language
b7242320
·
Changed nature of Bool type to get closer to lambda calculus
·
Apr 13, 2018
!5
13-provide-a-formal-description-of-the-new-token-architecture
9feaa32c
·
Typos, transform parent propagation
·
May 18, 2018
!9
16-write-exemple-code-and-bytecode
885b709a
·
Merge branch '12-provide-an-informal-description-of-the-new-token-architecture' into 'master'
·
May 25, 2018
!10
master
default
protected
4ebae359
·
Merge branch '14-add-informal-explanations-for-merkle-trees-and-proofs' into 'master'
·
May 29, 2018
19-describe-virtual-machine-bytecode-and-memory-layout
0215d4bc
·
change tuple/enm notation, more details about composite types
·
Jun 08, 2018
!13