Module lambda_calculus::combinators
[−]
[src]
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. |