4 ms·
> Programming isn't analogous to math https://en.wikipedia.org/wiki/Curry-Howard_isomorphism https://en.wikipedia.org/wiki/Curry-Howard_isomorphism
by mdellabitta 13y ago
> Programming isn't analogous to math
https://en.wikipedia.org/wiki/Curry-Howard_isomorphism https://en.wikipedia.org/wiki/Curry-Howard_isomorphism