“Propositions as Types” by Philip Wadlerhttps://www.youtube.com/watch?v=IOiZatlZtGU by ericdykstra • 11 years ago 3 0 11 years agoYOyoutube.com