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

Index - I

IdentDisco.Exhaustiveness.TypeInfo
identDisco.Parser
IDivDisco.Syntax.Operators
idSDisco.Subst
IffDisco.Syntax.Operators
IlkDisco.Types
ImplDisco.Syntax.Operators
InDisco.Syntax.Operators
indentDisco.Pretty.DSL, Disco.Pretty
indentedDisco.Parser
InferDisco.Typecheck
inferDisco.Typecheck
inferTelescopeDisco.Typecheck
inferTopDisco.Typecheck
inferTop1Disco.Typecheck
InfiniteDisco.Exhaustiveness.TypeInfo
InfiniteLoopDisco.Error
InfoDisco.Messages
infoDisco.Messages
infoPrettyDisco.Messages
inhabitedDisco.Exhaustiveness.Constraint
InhabPatDisco.Exhaustiveness
initDiscoConfigDisco.Eval
initPADisco.Pretty.Prec, Disco.Pretty
InLDisco.Syntax.Operators
Input 
1 (Type/Class)Disco.Effects.Input
2 (Data Constructor)Disco.Effects.Input
inputDisco.Effects.Input
inputsDisco.Effects.Input
inputTopEnvDisco.Eval
inputToStateDisco.Effects.Input
InRDisco.Syntax.Operators
insertDisco.Context
InsertStoreDisco.Effects.Store
insertStoreDisco.Effects.Store
instantiateDisco.Exhaustiveness.Constraint
integer 
1 (Function)Disco.Pretty.DSL, Disco.Pretty
2 (Function)Disco.Exhaustiveness.TypeInfo
InterDisco.Syntax.Operators
intercalateDisco.Pretty.DSL, Disco.Pretty
interpLOpDisco.Value
IntroDisco.Doc
intvDisco.Value
InvalidPatternDisco.Parser
invertMotiveDisco.Property
invertPropResultDisco.Property
IPIsDisco.Exhaustiveness
IPNotDisco.Exhaustiveness
isBaseDisco.Types
isBaseEdgeDisco.Typecheck.Solve
isCtrDisco.Types
isDirBDisco.Types.Rules
isEmptyTyDisco.Types
isFiniteTyDisco.Types
isFreeDisco.Names
isNumTyDisco.Types
isSearchableDisco.Types
isSkolemDisco.Types
isSubADisco.Types.Rules
isSubBDisco.Types.Rules
isSubPolyTypeDisco.Typecheck
isTyVarDisco.Types
isVarDisco.Types
iterUntilDisco.Util