Module lambda_calculus::combinators

Standard terms and combinators

• SKI
• Iota
• BCKW
• the self-application combinator ω
• the divergent combinator Ω
• the fixed-point combinators Y and Z
• the reverse application (thrush) combinator R

Functions

B

B - the composition combinator.

C

C - the swapping combinator.

I

I - the identity combinator.

K

K - the constant / discarding combinator; equivalent to boolean::tru.

O

Ω - the divergent combinator.

R

R - the reverse application (thrush) combinator.

S

S - the substitution combinator.

T

Θ - Turing’s fixed-point combinator

W

W - the duplicating combinator.

Y

Y - the lazy fixed-point combinator.

Z

Z - the strict fixed-point combinator.

i

Iota - the universal combinator.

o

ω - the self-application combinator.