Module lambda_calculus::combinators

Standard terms and combinators

• SKI
• Iota
• BCKW
• the looping combinator ω
• the divergent combinator Ω
• the fixed-point combinator Y

Functions

b	B - the composition combinator.
c	C - the swapping combinator.
i	I - the identity combinator.
iota	Iota - the universal combinator.
k	K - the constant / discarding combinator.
om	ω - the looping combinator.
omm	Ω - the divergent combinator.
s	S - the substitution combinator.
w	W - the duplicating combinator.
y	Y - the fixed-point combinator.