Skip to content
GitLab
Explore
Sign in
Register
fygg
fygg-docs
Repository
Branches
Overview
Active
Stale
All
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
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
13-provide-a-formal-description-of-the-new-token-architecture
9feaa32c
·
Typos, transform parent propagation
·
May 18, 2018
!9
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
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
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
master
default
protected
4ebae359
·
Merge branch '14-add-informal-explanations-for-merkle-trees-and-proofs' into 'master'
·
May 29, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
19-describe-virtual-machine-bytecode-and-memory-layout
0215d4bc
·
change tuple/enm notation, more details about composite types
·
Jun 08, 2018
!13
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar