Module lambda_calculus::combinators
[−]
[src]
Standard terms and combinators
- SKI
- Iota
- BCKW
- the self-application combinator ω
- the divergent combinator Ω
- the fixed-point combinators Y and Z
- the reverse application combinator T
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 self-application combinator. |
omm |
Ω - the divergent combinator. |
s |
S - the substitution combinator. |
t |
T - the reverse application combinator. |
w |
W - the duplicating combinator. |
y |
Y - the lazy fixed-point combinator. |
z |
Z - the strict fixed-point combinator. |