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
BLCLambda
ColorizeLambda
CombinatorLambda
EnumerateLambdas
EtaReduce
EvalLambda
FunctionLambda
LambdaApplication
LambdaBLC
LambdaBrackets
LambdaCombinator
LambdaConvert
LambdaDiagram
LambdaFunction
LambdaGraph
LambdaSmiles
LambdaString
LambdaTree
ParseLambda
RandomLambda
Wolfram`Lambda`
B
L
C
L
a
m
b
d
a
B
L
C
L
a
m
b
d
a
[
b
i
t
s
]
p
a
r
s
e
B
i
n
a
r
y
L
a
m
b
d
a
C
a
l
c
u
l
u
s
b
i
t
r
e
p
r
e
s
e
n
t
a
t
i
o
n
.
D
e
t
a
i
l
s
a
n
d
O
p
t
i
o
n
s
Examples
(
2
)
Basic Examples
(
1
)
Parse BLC bits and bytes into a lambda term:
I
n
[
1
]
:
=
B
L
C
L
a
m
b
d
a
[
{
0
,
0
,
1
,
0
}
]
O
u
t
[
1
]
=
λ
.
[
1
]
I
n
[
2
]
:
=
B
L
C
L
a
m
b
d
a
[
"
h
e
l
l
o
"
]
O
u
t
[
2
]
=
λ
.
[
2
[
1
]
[
1
[
1
[
2
]
]
]
]
I
n
[
3
]
:
=
B
L
C
L
a
m
b
d
a
[
{
4
2
}
]
O
u
t
[
3
]
=
λ
.
[
2
[
1
]
]
I
n
[
4
]
:
=
B
L
C
L
a
m
b
d
a
[
B
y
t
e
A
r
r
a
y
[
{
8
,
4
6
,
2
2
8
,
5
6
}
]
]
O
u
t
[
4
]
=
λ
.
[
λ
.
[
λ
.
[
2
[
1
]
]
]
[
λ
.
[
λ
.
[
3
]
[
λ
.
[
3
]
]
]
]
]
I
n
[
5
]
:
=
B
L
C
L
a
m
b
d
a
D
a
t
a
S
t
r
u
c
t
u
r
e
T
y
p
e
:
B
i
t
V
e
c
t
o
r
C
a
p
a
c
i
t
y
:
7
B
i
t
C
o
u
n
t
:
2
O
u
t
[
5
]
=
λ
.
[
λ
.
[
2
]
]
P
o
s
s
i
b
l
e
I
s
s
u
e
s
(
1
)
S
e
e
A
l
s
o
L
a
m
b
d
a
B
L
C
▪
L
a
m
b
d
a
C
o
n
v
e
r
t
"
"
