https://www.youtube.com/watch?v=FMDm-I5fxZ8


#1

Asher Manning is LIVE! Watch Ash speak about “Practical Dependent Types for Better Blockchains” at the first Israeli Functional Programming Conference