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.