phino-0.0.0: Command-Line Manipulator of 𝜑-Calculus Expressions (Index - X)

phino-0.0.0: Command-Line Manipulator of 𝜑-Calculus Expressions

A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
$
_
All

Index - X

XI
1 (Type/Class)	CST
2 (Data Constructor)	CST
XI'	CST
xiFree	Rule
XMIR	CLI.Types
xmirAtoms	XMIR
XmirContext
1 (Type/Class)	XMIR
2 (Data Constructor)	XMIR
xmirTime	XMIR
xmirToPhi	XMIR