You are viewing a single comment's thread. Return to all comments →
This mix of infix syntax and lambda calculus is a very poorly defined abomination…
Why not at least stay with the well-defined syntax of lambda calculus with integer arithmetic?
What's wrong with the following?
λx.(+ x 1) 3
Seems like cookies are disabled on this browser, please enable them to open this website
Lambda Calculus - Evaluating Expressions #1
You are viewing a single comment's thread. Return to all comments →
This mix of infix syntax and lambda calculus is a very poorly defined abomination…
Why not at least stay with the well-defined syntax of lambda calculus with integer arithmetic?
What's wrong with the following?