“Propositions as Types” by Philip Wadler [video]youtube.com2 points·smosher_··0 commentsOpen articleSaveView on HN