Scale By The Bay 2021 : Ryan Orendorff, Functional Programming + Dependent Types ≡ Verified Linear..

A connected record in the developer community graph.