3 ms·Seven?!! ...so inelegant compared to the two rules needed for evaluating lambda calculus ;)by chwahoo 16y agoSeven?!! ...so inelegant compared to the two rules needed for evaluating lambda calculus ;)