Dependent types for smart contracts at Zen / Blockchain 4

Present

I had previously been asking you guys for interview questions for my talk with the mathemticans at Zen and finally found the means of uploading it to my youtube channel.

It's about functional blockchains in the world of internet money - and not the last ;)

Take care
@qed