> What follows the lambda is the list of arguments. It would be clearer to say that what follows the lambda is the name of its (single) argument, not a list. A

> What follows the lambda is the list of arguments. It would be clearer to say that what follows the lambda is the name of its (single) argument, not a list. And then explain that for notational convenience, you could abbreviate successive abstractions. Btw, if you really base it on lists, then do you allow an empty list as well?