eo-phi-normalizer-2.2.2: Command line normalizer of 𝜑-calculus expressions. (Index - S)

eo-phi-normalizer-2.2.2: Command line normalizer of 𝜑-calculus expressions.

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

Index - S

sameContext	Language.EO.Phi.Rules.Common
select	Language.EO.Phi.Rules.Yaml
shrinkDots	Language.EO.Phi.Syntax, Language.EO.Phi
sliceBytes	Language.EO.Phi.Rules.Common
smallestObject	Language.EO.Phi.Rules.Common
spec	Language.EO.Test.YamlSpec
splitPath	Language.EO.Phi.Metrics.Data
splitStringOn	Language.EO.Phi.Metrics.Data
stringToBytes	Language.EO.Phi.Rules.Common
Subst
1 (Type/Class)	Language.EO.Phi.Rules.Yaml
2 (Data Constructor)	Language.EO.Phi.Rules.Yaml
substituteTau	Language.EO.Phi.ToLaTeX
substThis	Language.EO.Phi.Rules.Yaml
substThisBinding	Language.EO.Phi.Rules.Yaml