Hacker News new | ask | show | jobs
by ngruhn 336 days ago
Sorry for being pedantic but isn't the story that types=theorems and programs=proofs?
1 comments
sitkack 336 days ago
"Propositions as Types" by Philip Wadler https://www.youtube.com/watch?v=IOiZatlZtGU
link