Basic English syntax with exercises

Here is a first order abstract syntax for a simple functional language, Lc. In this language, a lambda term defines a function. For example, lambda x (var x) is ...