Skip to content

Instantly share code, notes, and snippets.

Avatar
🐳
hacking sophia

Philipp Piwo thepiwo

🐳
hacking sophia
View GitHub Profile
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: