2 ms·
In hindsight it's no coincidence, since proofs and programs turned out to be the same thing :) https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondenc
by chriswarbo 10y ago
In hindsight it's no coincidence, since proofs and programs turned out to be the same thing :)
https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspon...