3 ms·
> you may as well reason about it in terms of code. Absolutely, that's the Curry Howard Isomorphism.
by posterboy 10y ago
> you may as well reason about it in terms of code.
Absolutely, that's the Curry Howard Isomorphism.
loading thread…
3 ms·