3 ms·I think you've just discovered Curry-Howard isomorphism!by fuy 4y agoI think you've just discovered Curry-Howard isomorphism!