"\x." is not a
syntactically
legal lambda expression
True. Any abstraction must have a lambda expression as its body, but this one has an empty (or non-existant body), therefore it is not legal.
BACK