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