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

Index - S

SCST
S'CST
S''CST
saltedCLI.Helpers
SALTYSugar
saveEvalDeps
SaveEvalFuncDeps
saveEvalXmlDeps
SaveMadeFuncDeps
saveStepDeps
SaveStepFuncDeps
saveStepFuncCLI.Helpers
seedTausTau
SeenRewriter
seenInsertRewriter
seenMemberRewriter
SETCST
setLogConfigLogger
settledMorph
severingMorph
sharedLanguage
shiftYamlErrorYaml
shuffleRandom
SideForks
sigilDeps
SINGLELINELining
sitesMatcher
sizedLambdas
Slot 
1 (Type/Class)AST
2 (Data Constructor)AST
SlotsSlots
slotsSlots
SPACE 
1 (Type/Class)CST
2 (Data Constructor)CST
splitsMatcher
StagedInference
StaleEngineCLI.Types
StalledMorph
standingDeps
startedCLI.Helpers
starvedMorph
State 
1 (Type/Class)Deps
2 (Data Constructor)Deps
StayedLambdas
stayedLambdas
Step 
1 (Type/Class)Rule
2 (Data Constructor)Rule
stepHeadersRewriter
stepOfEngine
Steps 
1 (Type/Class)Morph
2 (Data Constructor)Morph
strToBtsBytes
StuckMorph
StuckAtMorph
ST_ATTRIBUTESCST
ST_BINDINGCST
Subst 
1 (Type/Class)Matcher
2 (Data Constructor)Matcher
substEmptyMatcher
substituteGroupsRegexp
substSingleMatcher
substSlotMatcher
SugarTypeSugar
SWEETSugar
sweetCollapsibleCST
sweetNumberCST
sweetStringCST
SymbolizedLambdas
symbolizedLambdas
symbolsAST