disco-0.2: Functional programming language for teaching discrete math. (Index - S)

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

Index - S

S
1 (Type/Class)	Disco.Types
2 (Data Constructor)	Disco.Types
SBag	Disco.Value
sc	Disco.Parser
SearchMotive
1 (Type/Class)	Disco.Value
2 (Data Constructor)	Disco.Value
SearchType	Disco.Value
selectSide	Disco.AST.Generic
semi	Disco.Parser
sequenceGraph	Disco.Typecheck.Graph
set	Disco.Value
SetContainer	Disco.AST.Generic, Disco.AST.Desugared, Disco.AST.Surface, Disco.AST.Typed
setPA	Disco.Pretty
setREPLModule	Disco.Eval
setType	Disco.Types, Disco.AST.Typed
Should	Disco.Syntax.Operators
ShouldMemo	Disco.AST.Core
Side	Disco.AST.Generic, Disco.AST.Surface
SimpleConstraint	Disco.Typecheck.Solve
SimpleValue	Disco.Value
simplify	Disco.Typecheck.Solve
SimplifyState	Disco.Typecheck.Solve
singleCtx	Disco.Context
SInj	Disco.Value
Skolem	Disco.Types
SMExists	Disco.Value
SMForall	Disco.Value
SNum	Disco.Value
SolutionLimit
1 (Type/Class)	Disco.Typecheck.Solve
2 (Data Constructor)	Disco.Typecheck.Solve
solve	Disco.Typecheck.Util
solveConstraint	Disco.Typecheck.Solve
solveConstraintChoice	Disco.Typecheck.Solve
SolveError	Disco.Typecheck.Solve
solveGraph	Disco.Typecheck.Solve
Sort	Disco.Types.Qualifiers, Disco.Types.Rules
sortRules	Disco.Types.Rules
SPair	Disco.Value
SS	Disco.Typecheck.Solve
ssConstraints	Disco.Typecheck.Solve
ssSeen	Disco.Typecheck.Solve
ssSubst	Disco.Typecheck.Solve
SSub	Disco.Syntax.Operators
ssVarMap	Disco.Typecheck.Solve
Standalone	Disco.Module
State	Disco.Effects.State
stateToIO	Disco.Effects.State
stateToST	Disco.Effects.State
Stdlib	Disco.Names
step	Disco.Interpret.CESK
Store	Disco.Effects.Store
Strict	Disco.Types
Strictness	Disco.Types
strictness	Disco.Types
SType	Disco.Value
Sub	Disco.Syntax.Operators
Subset	Disco.Syntax.Operators
substituteVarIDs	Disco.Exhaustiveness.Constraint
Substitution
1 (Type/Class)	Disco.Subst, Disco.Types
2 (Data Constructor)	Disco.Subst
substQ	Disco.Names
substQC	Disco.AST.Core
substQT	Disco.AST.Typed
substRel	Disco.Typecheck.Solve
substsQ	Disco.Names
substsQC	Disco.AST.Core
SubTy	Disco.Types.Rules
subtypes	Disco.Types.Rules
suc	Disco.Typecheck.Graph
suggestionsFrom	Disco.Typecheck
SUnit	Disco.Value
SuperTy	Disco.Types.Rules
supertypes	Disco.Types.Rules
symbol	Disco.Parser