Wolfram Language
Paclet Repository
Community-contributed installable additions to the Wolfram Language
Primary Navigation
Categories
Cloud & Deployment
Core Language & Structure
Data Manipulation & Analysis
Engineering Data & Computation
External Interfaces & Connections
Financial Data & Computation
Geographic Data & Computation
Geometry
Graphs & Networks
Higher Mathematical Computation
Images
Knowledge Representation & Natural Language
Machine Learning
Notebook Documents & Presentation
Scientific and Medical Data & Computation
Social, Cultural & Linguistic Data
Strings & Text
Symbolic & Numeric Computation
System Operation & Setup
Time-Related Computation
User Interface Construction
Visualization & Graphics
Random Paclet
Alphabetical List
Using Paclets
Create a Paclet
Get Started
Download Definition Notebook
Learn More about
Wolfram Language
Lambda
Guides
Guide
Symbols
BetaReduce
BetaReductions
ColorizeLambda
EnumerateLambdas
EtaReduce
EvalLambda
FunctionLambda
LambdaCombinator
LambdaDiagram
LambdaFunction
LambdaSmiles
LambdaTree
RandomLambda
Wolfram`Lambda`
L
a
m
b
d
a
T
r
e
e
L
a
m
b
d
a
T
r
e
e
[
l
a
m
b
d
a
]
t
u
r
n
l
a
m
b
d
a
t
e
r
m
i
n
t
o
a
t
r
e
e
.
Examples
(
2
)
Basic Examples
(
1
)
Turn lambda into a tree:
I
n
[
1
]
:
=
L
a
m
b
d
a
T
r
e
e
[
λ
.
[
λ
.
[
1
[
2
]
]
[
λ
.
[
1
[
2
]
[
1
[
2
]
]
]
]
]
]
O
u
t
[
1
]
=
Colorize labels:
I
n
[
2
]
:
=
L
a
m
b
d
a
T
r
e
e
[
λ
.
[
λ
.
[
1
[
2
]
]
[
λ
.
[
1
[
2
]
[
1
[
2
]
]
]
]
]
,
"
C
o
l
o
r
e
d
"
T
r
u
e
]
O
u
t
[
2
]
=
Colorize elements:
I
n
[
3
]
:
=
L
a
m
b
d
a
T
r
e
e
[
λ
.
[
λ
.
[
1
[
2
]
]
[
λ
.
[
1
[
2
]
[
1
[
2
]
]
]
]
]
,
"
C
o
l
o
r
e
d
"
"
E
l
e
m
e
n
t
s
"
]
O
u
t
[
3
]
=
Don't show lambda arguments:
I
n
[
4
]
:
=
L
a
m
b
d
a
T
r
e
e
[
λ
.
[
λ
.
[
1
[
2
]
]
[
λ
.
[
1
[
2
]
[
1
[
2
]
]
]
]
]
,
"
A
r
g
u
m
e
n
t
L
a
b
e
l
s
"
F
a
l
s
e
]
O
u
t
[
4
]
=
I
n
[
5
]
:
=
L
a
m
b
d
a
T
r
e
e
[
λ
.
[
λ
.
[
1
[
2
]
]
[
λ
.
[
1
[
2
]
[
1
[
2
]
]
]
]
]
,
"
C
o
l
o
r
e
d
"
T
r
u
e
,
"
A
r
g
u
m
e
n
t
L
a
b
e
l
s
"
F
a
l
s
e
]
O
u
t
[
5
]
=
N
e
a
t
E
x
a
m
p
l
e
s
(
1
)
S
e
e
A
l
s
o
L
a
m
b
d
a
C
o
n
v
e
r
t
"
"
