Y youtube.com “Propositions as Types” by Philip Wadler [video] 2 points smosher_ 11 years ago 0 comments