3 ms·
You know, propositions are types, proofs are programs :-), thanks to Howard & Haskell Curry, somewhat culprit of the functional frenzy.
by jesuslop 10y ago
You know, propositions are types, proofs are programs :-), thanks to Howard & Haskell Curry, somewhat culprit of the functional frenzy.