3 ms·Somebody hasn't heard of the Curry–Howard correspondence!by naasking 4y agoSomebody hasn't heard of the Curry–Howard correspondence!