Blog: Lean

Functional Futures: Dependent Types with David ChristiansenFunctional Futures: Dependent Types with David Christiansen