“Propositions as Types” by Philip Wadleryoutube.com3 points·ericdykstra··0 commentsOpen articleSaveView on HN