A function describes a relationship between two sets, a set of inputs and outputs.
- λx.xxx - YES
- λxy.zx - NO
- λxyz.xy(zx) - YES
- λxyz.xy(zxy) - YES
- λxy.xy(zxy) - NO
- λx.xxx - Normal
- (λz.zz)(λy.yy) - Diverge
- (λx.xxx)z - Normal
- (λabc.cba)zz(λwv.w) - z
- (λx.λy.xyy)(λa.a)b - bb
- (λy.y)(λx.xx)(λz.zq) - qq
- (λz.z)(λz.zz)(λz.zy) - yy
- (λx.λy.xyy)(λy.y)y - yy
- (λa.aa)(λb.ba)c - aac
- (λxyz.xz(yz))(λx.z)(λx.a) - λz.za - λz1.za