2 ms·
It is types≘theorems and programs≘proofs. https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_
by qznc 10y ago
It is types≘theorems and programs≘proofs.
https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspon...
- moomin 10y agoYes, sorry.