Hacker News new | ask | show | jobs
by yawaramin 2984 days ago
Philip Wadler's 'Propositions as Types': https://youtu.be/IOiZatlZtGU

Bonus: that was the talk that introduced Lambdaman to the world.