“The syntax of the λ-calculus is very simple, comprising just four kinds of expression but surprisingly it is sufficient to define any computable function.
Constants including integers, booleans and so on can all be defined using just the syntax above,