Comment Comment by theWheez Is that related to the Curry-Howard isomorphism? parent theWheez 7 years ago