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

Index - C

CDisco.Types
CAbsDisco.AST.Core
cAbsDisco.Typecheck
CAllDisco.Typecheck.Constraints
CAndDisco.Typecheck.Constraints
cAndDisco.Typecheck.Constraints
CAppDisco.AST.Core
CArrDisco.Types
CartProdDisco.Syntax.Operators
CBagDisco.Types
CCaseDisco.AST.Core
CConstDisco.AST.Core
CContainerDisco.Types
CDelayDisco.AST.Core
CellDisco.Value
CEqDisco.Typecheck.Constraints
CESKDisco.Interpret.CESK
cessorsDisco.Typecheck.Graph
cExpDisco.Typecheck
CForceDisco.AST.Core
CGraphDisco.Types
charDisco.Exhaustiveness.TypeInfo
charvDisco.Value
CheckDisco.Typecheck
checkDisco.Typecheck
checkBaseEdgeDisco.Typecheck.Solve
checkBaseEdgesDisco.Typecheck.Solve
checkClausesDisco.Exhaustiveness
checkCtxDisco.Typecheck
checkCyclicTyDisco.Typecheck
checkDefnDisco.Typecheck
checkFileDisco.Interactive.CmdLine
checkModuleDisco.Typecheck
checkPatternDisco.Typecheck
checkPolyRecDisco.Typecheck
checkPolyTyDisco.Typecheck
checkPolyTyValidDisco.Typecheck
checkPropertiesDisco.Typecheck
checkPropertyDisco.Typecheck
checkQualDisco.Typecheck.Solve
checkSkolemsDisco.Typecheck.Solve
checkTopDisco.Typecheck
checkTyDefnDisco.Typecheck
checkTypeValidDisco.Typecheck
checkUnboundVarsDisco.Typecheck
ChooseDisco.Syntax.Operators
CInjDisco.AST.Core
cIntDisco.Typecheck
ClauseDisco.Module
ClearStoreDisco.Effects.Store
clearStoreDisco.Effects.Store
CListDisco.Types
closeTypeDisco.Types
CMapDisco.Types
CMatchDisco.Exhaustiveness.Constraint
cmdFileDisco.Interactive.CmdLine
CNotDisco.Exhaustiveness.Constraint
CNumDisco.AST.Core
CoDisco.Types.Rules
coerceKeysDisco.Context
colonDisco.Parser
commaDisco.Parser
compileBOpDisco.Compile
compileBranchDisco.Compile
compileCaseDisco.Compile
compileDefnGroupDisco.Compile
compileDefnsDisco.Compile
compileDTermDisco.Compile
compileGuardsDisco.Compile
compileMatchDisco.Compile
compilePrimDisco.Compile
compilePrimErrDisco.Compile
compilePropertyDisco.Compile
compileTermDisco.Compile
compileThingDisco.Compile
compileUOpDisco.Compile
composeDisco.Subst
ConDisco.Types
conArityDisco.Typecheck
condensationDisco.Typecheck.Graph
conflictsWithDisco.Exhaustiveness.Constraint
ConsDisco.Syntax.Operators
consDisco.Exhaustiveness.TypeInfo
Constraint 
1 (Type/Class)Disco.Typecheck.Constraints
2 (Type/Class)Disco.Exhaustiveness.Constraint
constraintDisco.Typecheck.Util
ConstraintForDisco.Exhaustiveness.Constraint
constraintsDisco.Typecheck.Util
ConstructorsDisco.Exhaustiveness.TypeInfo
ContainerDisco.AST.Generic, Disco.AST.Desugared, Disco.AST.Surface, Disco.AST.Typed
containerToConDisco.Typecheck
containerTyDisco.Typecheck
containerVarsDisco.Types
ContraDisco.Types.Rules
COrDisco.Typecheck.Constraints
cOrDisco.Typecheck.Constraints
CoreDisco.AST.Core
CountDisco.Syntax.Operators
CounterDisco.Effects.Counter
countSolutionDisco.Typecheck.Solve
countTypeDisco.Types
CPairDisco.AST.Core
cPosDisco.Typecheck
CProdDisco.Types
CProjDisco.AST.Core
CQualDisco.Typecheck.Constraints
CrashDisco.Error
CSetDisco.Types
cSizeDisco.Typecheck
CSubDisco.Typecheck.Constraints
CSumDisco.Types
CTestDisco.AST.Core
CtrBagDisco.Types
CtrListDisco.Types
CtrSetDisco.Types
CTrueDisco.Typecheck.Constraints
CtxDisco.Context
ctxForModuleDisco.Context
CTypeDisco.AST.Core
CUnitDisco.AST.Core
CUserDisco.Types
CVarDisco.AST.Core
CWasOriginallyDisco.Exhaustiveness.Constraint
CyclicImportDisco.Error
CyclicTyDefDisco.Typecheck.Util