3 ms·
> Coding a real project is the equivalent to math's proofs, I think. Surprisingly, this turns out to be true: https://en.m.wikipedia.org/wiki/Curry%E2%80%93How
by zaik 5y ago
> Coding a real project is the equivalent to math's proofs, I think.
Surprisingly, this turns out to be true:
https://en.m.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence https://en.m.wikipedia.org/wiki/Curry%E2%80%93Howard_corresp...
- k__ 5y agoNow, how can I use this fact, to finally become a decent math user? :D