3 ms·Is that related to the Curry-Howard isomorphism?by theWheez 7y agoIs that related to the Curry-Howard isomorphism?