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

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 - T

T	CST
TAB
1 (Type/Class)	CST
2 (Data Constructor)	CST
TAB'	CST
Taken	Inference
taken	Lambdas
tallied	Morph
Tally
1 (Type/Class)	Morph
2 (Data Constructor)	Morph
TAU	CST
TAU'	CST
TeAttribute	Deps
TeBindings	Deps
TeBytes	Deps
TeExpression	Deps
Term	Deps
TERMINATION	CST
thrown	Lambdas
tier	Deps
timed	Morph
ToASCII	Encoding
toASCII	Encoding
ToCST	CST
toCST	CST
toCST'	CST
toDouble	Misc
toName	XMIR
ToSalty	Sugar
toSalty	Sugar
ToSingleLine	Lining
toSingleLine	Lining