disco-0.1.3.1: Functional programming language for teaching discrete math.

Index - S

S 
1 (Type/Class)Disco.Types
2 (Data Constructor)Disco.Types
SBagDisco.Value
scDisco.Parser
SearchMotive 
1 (Type/Class)Disco.Value
2 (Data Constructor)Disco.Value
SearchTypeDisco.Value
selectSideDisco.AST.Generic
semiDisco.Parser
sequenceGraphDisco.Typecheck.Graph
setDisco.Value
SetContainerDisco.AST.Generic, Disco.AST.Surface, Disco.AST.Typed, Disco.AST.Desugared
setPADisco.Pretty
setREPLModuleDisco.Eval
setTypeDisco.Types, Disco.AST.Typed
ShouldEqDisco.Syntax.Operators
SideDisco.AST.Generic, Disco.AST.Surface
SimpleConstraintDisco.Typecheck.Solve
SimpleValueDisco.Value
simplifyDisco.Typecheck.Solve
SimplifyStateDisco.Typecheck.Solve
singleCtxDisco.Context
SInjDisco.Value
SkolemDisco.Types
SMExistsDisco.Value
SMForallDisco.Value
SNumDisco.Value
solveDisco.Typecheck.Util
solveConstraintDisco.Typecheck.Solve
solveConstraintChoiceDisco.Typecheck.Solve
SolveErrorDisco.Typecheck.Solve
solveGraphDisco.Typecheck.Solve
SortDisco.Types.Qualifiers, Disco.Types.Rules
sortRulesDisco.Types.Rules
SPairDisco.Value
SSDisco.Typecheck.Solve
ssConstraintsDisco.Typecheck.Solve
ssSeenDisco.Typecheck.Solve
ssSubstDisco.Typecheck.Solve
SSubDisco.Syntax.Operators
ssVarMapDisco.Typecheck.Solve
StandaloneDisco.Module
StateDisco.Effects.State
stateToIODisco.Effects.State
stateToSTDisco.Effects.State
StdlibDisco.Names
stepDisco.Interpret.CESK
StoreDisco.Effects.Store
StrictDisco.Types
StrictnessDisco.Types
strictnessDisco.Types
STypeDisco.Value
SubDisco.Syntax.Operators
SubsetDisco.Syntax.Operators
Substitution 
1 (Type/Class)Disco.Subst, Disco.Types
2 (Data Constructor)Disco.Subst
substQDisco.Names
substQCDisco.AST.Core
substQTDisco.AST.Typed
substRelDisco.Typecheck.Solve
substsQDisco.Names
substsQCDisco.AST.Core
SubTyDisco.Types.Rules
subtypesDisco.Types.Rules
sucDisco.Typecheck.Graph
SUnitDisco.Value
SuperTyDisco.Types.Rules
supertypesDisco.Types.Rules
symbolDisco.Parser