BNF fyrir lambda calculus er / A BNF for lambda calculus is:

<expr> ::= <constant>
|  <variable>
|  (<expr> <expr>)
|  (λ <variable>. <expr>)

Skrifið fallasmið í lambda calculus fyrir fallið incn / Write a lambda abstraction in
lambda calculus for the function incn.