"\x.\y.xyxx" is a syntactically legal lambda expression
True. While this is a pretty complex expression (a double abstraction
around a triple application), it is still legal. Notice that we haven't
yet explained how to parenthesize an expression like this--we'll get
to it shortly.
BACK