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.