thepiwo
/ advanced-sophia.aes
Created
September 20, 2019 14:56
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 } | |
thepiwo
/ gist:35b07994d472effc4469a07990ecbf7c
Created
December 10, 2017 11:41
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: |