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 } | |
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: |