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
PiMachine
Guides
Evaluation
Terms
Types
Tech Notes
Diagrams
SAT
Symbols
PiChoice
PiCombinator
PiContinuation
PiEval
PiEvalTrace
PiFunction
PiHole
PiInverse
PiMachineDiagram
PiMachinePort
PiMinus
PiOne
PiPlus
PiReduce
PiState
PiStateQ
PiTerm
PiTermQ
PiTimes
PiTypeQ
PiUnit
PiZero
WolframInstitute`PiMachine`
P
i
H
o
l
e
P
i
H
o
l
e
b
a
s
i
c
t
e
r
m
o
f
P
i
C
o
n
t
i
n
u
a
t
i
o
n
t
y
p
e
r
e
p
r
e
s
e
n
t
i
n
g
f
u
n
c
t
i
o
n
p
l
a
c
e
h
o
l
d
e
r
.
Examples
(
1
)
Basic Examples
(
1
)
I
n
[
1
]
:
=
P
i
H
o
l
e
O
u
t
[
1
]
=
I
n
[
2
]
:
=
P
i
T
e
r
m
P
i
H
o
l
e
,
P
i
C
o
n
t
i
n
u
a
t
i
o
n
[
A
_
,
B
_
]
[
"
T
y
p
e
"
]
O
u
t
[
2
]
=
C
O
N
T
A
_
B
_
Successful
P
i
S
t
a
t
e
evaluation starts and ends with empty continuation:
I
n
[
3
]
:
=
P
i
S
t
a
t
e
[
P
i
Z
i
g
Z
a
g
,
P
i
T
r
u
e
]
O
u
t
[
3
]
=
(
u
n
i
t
i
+
l
;
η
+
⊕
i
d
;
a
s
s
o
c
r
+
;
i
d
⊕
s
w
a
p
+
;
a
s
s
o
c
l
+
;
ϵ
+
⊕
i
d
;
u
n
i
t
e
+
l
)
⊳
I
n
[
4
]
:
=
P
i
E
v
a
l
P
i
S
t
a
t
e
[
P
i
Z
i
g
Z
a
g
,
P
i
T
r
u
e
]
O
u
t
[
4
]
=
(
(
(
(
(
(
u
n
i
t
i
+
l
;
η
+
⊕
i
d
)
;
a
s
s
o
c
r
+
)
;
i
d
⊕
s
w
a
p
+
)
;
a
s
s
o
c
l
+
)
;
ϵ
+
⊕
i
d
)
;
u
n
i
t
e
+
l
)
⊳
S
e
e
A
l
s
o
P
i
C
o
n
t
i
n
u
a
t
i
o
n
R
e
l
a
t
e
d
G
u
i
d
e
s
▪
T
e
r
m
s
"
"
