#41 The Value of PL (and) Education - Satnam Singh | Type Theory Forall | Podwise