9 ms·

Surprised there's no mention of the Curry-Howard correspondence between proofs and programs.

• mlitchard 11y ago
  Mention? The title led me to believe that was the topic.