G
U
I
D
E
U
R
L
Combinator Functions
This page lists some of the functions in
W
o
l
f
r
a
m
F
u
n
c
t
i
o
n
R
e
p
o
s
i
t
o
r
y
created to explore combinators.
Combinatory Terms
A
p
p
l
i
c
a
t
i
o
n
(
) — combinator application operator
C
o
m
b
i
n
a
t
o
r
S
,
C
o
m
b
i
n
a
t
o
r
K
— Schönfinkel basic combinators
C
o
m
b
i
n
a
t
o
r
B
▪
C
o
m
b
i
n
a
t
o
r
C
▪
C
o
m
b
i
n
a
t
o
r
I
▪
C
o
m
b
i
n
a
t
o
r
W
▪
C
o
m
b
i
n
a
t
o
r
Y
Construction and Enumeration
□
E
n
u
m
e
r
a
t
e
C
o
m
b
i
n
a
t
o
r
s
— enumerate combinators involving a given number of symbols
□
S
K
C
o
m
b
i
n
a
t
o
r
C
o
m
p
i
l
e
— converts any combinator expression to the SK basis
□
C
h
u
r
c
h
C
o
m
b
i
n
a
t
o
r
C
o
n
s
t
r
u
c
t
▪
F
u
n
c
t
i
o
n
▪
G
r
o
u
p
i
n
g
s
▪
F
i
x
e
d
P
o
i
n
t
Combinator Evolution
□
C
o
m
b
i
n
a
t
o
r
F
i
x
e
d
P
o
i
n
t
,
□
C
o
m
b
i
n
a
t
o
r
F
i
x
e
d
P
o
i
n
t
L
i
s
t
— apply combinator rules until a fixed point is reached
□
C
o
m
b
i
n
a
t
o
r
E
v
o
l
v
e
,
□
C
o
m
b
i
n
a
t
o
r
E
v
o
l
v
e
L
i
s
t
— apply combinators rules for a certain number of steps
□
T
r
a
v
e
r
s
a
l
O
r
d
e
r
S
e
l
e
c
t
▪
□
C
o
m
b
i
n
a
t
o
r
M
a
t
c
h
e
s
▪
□
C
o
m
b
i
n
a
t
o
r
S
t
e
p
Combinator Visualization
□
C
o
m
b
i
n
a
t
o
r
P
l
o
t
— visualize a combinator expression
□
C
o
m
b
i
n
a
t
o
r
E
v
o
l
u
t
i
o
n
P
l
o
t
— visualize combinator evolution
□
C
o
m
b
i
n
a
t
o
r
E
x
p
r
e
s
s
i
o
n
G
r
a
p
h
— show a combinator expression as a graph
□
C
o
m
b
i
n
a
t
o
r
B
r
a
c
k
e
t
s
P
l
o
t
— show a combinator expression using brackets
Automated Theorem Proving
□
M
u
l
t
i
w
a
y
C
o
m
b
i
n
a
t
o
r
—
c
o
m
b
i
n
a
t
o
r
e
x
p
r
e
s
s
i
o
n
a
s
a
m
u
l
t
i
w
a
y
s
y
s
t
e
m
□
F
i
n
d
C
o
m
b
i
n
a
t
o
r
P
r
o
o
f
— generate proofs in combinatory logic
A
x
i
o
m
a
t
i
c
T
h
e
o
r
y
▪
F
i
n
d
E
q
u
a
t
i
o
n
a
l
P
r
o
o
f
R
e
l
a
t
e
d
G
u
i
d
e
s
▪
W
o
l
f
r
a
m
P
h
y
s
i
c
s
P
r
o
j
e
c
t
F
u
n
c
t
i
o
n
s
R
e
l
a
t
e
d
L
i
n
k
s
▪
W
o
l
f
r
a
m
P
h
y
s
i
c
s
P
r
o
j
e
c
t
H
o
m
e
P
a
g
e
▪
H
a
n
d
s
-
O
n
I
n
t
r
o
d
u
c
t
i
o
n
t
o
t
h
e
W
o
l
f
r
a
m
P
h
y
s
i
c
s
P
r
o
j
e
c
t
▪
W
o
l
f
r
a
m
P
h
y
s
i
c
s
P
r
o
j
e
c
t
:
T
e
c
h
n
i
c
a
l
I
n
t
r
o
d
u
c
t
i
o
n
