thepiwo
/ advanced-sophia.aes
Created Sep 20, 2019
View advanced-sophia.aes
| namespace List = | |
| function foldr(f : (('a, 'b) => 'b), z: 'b, l : list('a)) : 'b = | |
| switch(l) | |
| [] => z | |
| e :: l' => f(e, foldr(f, z, l')) | |
| contract Identity = | |
| record player = { balance : int } | |
thepiwo
/ gist:35b07994d472effc4469a07990ecbf7c
Created Dec 10, 2017
View gist:35b07994d472effc4469a07990ecbf7c
| ### Keybase proof | |
| I hereby claim: | |
| * I am thepiwo on github. | |
| * I am thepiwo (https://keybase.io/thepiwo) on keybase. | |
| * I have a public key ASCPSxrpbiUVTUrZs3zFP5iKFCeynWP1X3ZiF0RObBowlAo | |
| To claim this, I am signing this object: |