TΞΞL❍CK M!th\lesh's Highlights on 'Stephen Pimentel - Propositions as Types for Beginners in Haskell - λC 2018 - YouTube' | Glasp