“Propositions as Types” by Philip Wadler [video] | Dark Hacker News