Skip to content
GitLab
Explore
Sign in
concordium
ConCert
Repository
ConCert
execution
theories
Blockchain.v
Find file
Blame
History
Permalink
Add result monad and change add_block to return a result
· 79abd5bf
Jakob Botsch Nielsen
authored
May 10, 2020
79abd5bf