disco-0.1.5: Functional programming language for teaching discrete math. (Index - I)

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

Index - I

ident	Disco.Parser
IDiv	Disco.Syntax.Operators
idS	Disco.Subst
Iff	Disco.Syntax.Operators
Ilk	Disco.Types
Impl	Disco.Syntax.Operators
In	Disco.Syntax.Operators
indented	Disco.Parser
Infer	Disco.Typecheck
infer	Disco.Typecheck
inferTelescope	Disco.Typecheck
inferTop	Disco.Typecheck
InfiniteLoop	Disco.Error
Info	Disco.Messages
info	Disco.Messages
infoPretty	Disco.Messages
initDiscoConfig	Disco.Eval
initPA	Disco.Pretty.Prec, Disco.Pretty
InL	Disco.Syntax.Operators
Input
1 (Data Constructor)	Disco.Effects.Input
2 (Type/Class)	Disco.Effects.Input
input	Disco.Effects.Input
inputs	Disco.Effects.Input
inputTopEnv	Disco.Eval
inputToState	Disco.Effects.Input
InR	Disco.Syntax.Operators
insert	Disco.Context
InsertStore	Disco.Effects.Store
insertStore	Disco.Effects.Store
integer	Disco.Pretty.DSL, Disco.Pretty
Inter	Disco.Syntax.Operators
intercalate	Disco.Pretty.DSL, Disco.Pretty
intv	Disco.Value
InvalidPattern	Disco.Parser
invertMotive	Disco.Property
invertPropResult	Disco.Property
isBase	Disco.Types
isCtr	Disco.Types
isDirB	Disco.Types.Rules
isEmptyTy	Disco.Types
isFiniteTy	Disco.Types
isFree	Disco.Names
isNumTy	Disco.Types
isSearchable	Disco.Types
isSkolem	Disco.Types
isSubA	Disco.Types.Rules
isSubB	Disco.Types.Rules
isTyVar	Disco.Types
isVar	Disco.Types