Hacker News new | ask | show | jobs
by jwp729 4000 days ago
Surprised there's no mention of the Curry-Howard correspondence between proofs and programs.
1 comments
mlitchard 4000 days ago
Mention? The title led me to believe that was the topic.
link