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
—
e
n
u
m
e
r
a
t
e
c
o
m
b
i
n
a
t
o
r
s
i
n
v
o
l
v
i
n
g
a
g
i
v
e
n
n
u
m
b
e
r
o
f
s
y
m
b
o
l
s
□
S
K
C
o
m
b
i
n
a
t
o
r
C
o
m
p
i
l
e
—
c
o
n
v
e
r
t
s
a
n
y
c
o
m
b
i
n
a
t
o
r
e
x
p
r
e
s
s
i
o
n
t
o
t
h
e
S
K
b
a
s
i
s
□
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
—
a
p
p
l
y
c
o
m
b
i
n
a
t
o
r
r
u
l
e
s
u
n
t
i
l
a
f
i
x
e
d
p
o
i
n
t
i
s
r
e
a
c
h
e
d
□
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
—
a
p
p
l
y
c
o
m
b
i
n
a
t
o
r
s
r
u
l
e
s
f
o
r
a
c
e
r
t
a
i
n
n
u
m
b
e
r
o
f
s
t
e
p
s
□
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
—
v
i
s
u
a
l
i
z
e
a
c
o
m
b
i
n
a
t
o
r
e
x
p
r
e
s
s
i
o
n
□
C
o
m
b
i
n
a
t
o
r
E
v
o
l
u
t
i
o
n
P
l
o
t
—
v
i
s
u
a
l
i
z
e
c
o
m
b
i
n
a
t
o
r
e
v
o
l
u
t
i
o
n
□
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
—
s
h
o
w
a
c
o
m
b
i
n
a
t
o
r
e
x
p
r
e
s
s
i
o
n
a
s
a
g
r
a
p
h
□
C
o
m
b
i
n
a
t
o
r
B
r
a
c
k
e
t
s
P
l
o
t
—
s
h
o
w
a
c
o
m
b
i
n
a
t
o
r
e
x
p
r
e
s
s
i
o
n
u
s
i
n
g
b
r
a
c
k
e
t
s
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
—
g
e
n
e
r
a
t
e
p
r
o
o
f
s
i
n
c
o
m
b
i
n
a
t
o
r
y
l
o
g
i
c
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
