Hacker News new | ask | show | jobs
“Propositions as Types” by Philip Wadler [video] (youtube.com)
2 points by smosher_ 3913 days ago