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

Index - I

identDisco.Parser
IDivDisco.Syntax.Operators
idSDisco.Subst
IlkDisco.Types
ImplDisco.Syntax.Operators
InDisco.Syntax.Operators
indentedDisco.Parser
InferDisco.Typecheck
inferDisco.Typecheck
inferTelescopeDisco.Typecheck
inferTopDisco.Typecheck
InfiniteLoopDisco.Error
InfoDisco.Messages
infoDisco.Messages
infoPrettyDisco.Messages
initDiscoConfigDisco.Eval
initPADisco.Pretty.Prec, Disco.Pretty
InLDisco.Syntax.Operators
Input 
1 (Data Constructor)Disco.Effects.Input
2 (Type/Class)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
integerDisco.Pretty.DSL, Disco.Pretty
InterDisco.Syntax.Operators
intercalateDisco.Pretty.DSL, Disco.Pretty
intvDisco.Value
invertMotiveDisco.Property
invertPropResultDisco.Property
isBaseDisco.Types
isCtrDisco.Types
isDirBDisco.Types.Rules
isEmptyTyDisco.Types
isFiniteTyDisco.Types
isFreeDisco.Names
isNumTyDisco.Types
isSearchableDisco.Types
isSkolemDisco.Types
isSubADisco.Types.Rules
isSubBDisco.Types.Rules
isTyVarDisco.Types
isVarDisco.Types