www.lord-enki.net Wed, Apr 25 19:12 2018 (7y ago) “Propositions as Types” by Philip Wadler - YouTube https://www.youtube.com/watch?v=IOiZatlZtGU ⤋ Read More Yarn