The syntax of lambda calculus is quite simple as well. However, I find it hard to say that any project of reasonable size would be anything but cryptic. A shor

The syntax of lambda calculus is quite simple as well. However, I find it hard to say that any project of reasonable size would be anything but cryptic. A short grammar does not imply that the resulting language is comprehensible.