This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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 } | |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
### 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: |