phino-0.0.0.19: Command-Line Manipulator of 𝜑-Calculus Expressions (Index - A)

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

A
B
C
D
E
F
I
L
M
N
O
P
R
S
T
W
X
Y
_
All

Index - A

allPathsIn	Misc
Alpha	Yaml
And	Yaml
ArgAttribute	Yaml
ArgBinding	Yaml
ArgBytes	Yaml
ArgExpression	Yaml
args	Yaml
argToStrBytes	Functions
AtAlpha	Ast
AtDelta	Ast
AtLabel	Ast
AtLambda	Ast
AtMeta	Ast
AtPhi	Ast
AtRho	Ast
Attribute	Ast
attrInBindings	Condition