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

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

Index - M

makeTyCtx	Disco.Typecheck
makeTyDefnCtx	Disco.Typecheck
map	Disco.Typecheck.Graph
mapInput	Disco.Effects.Input
MapStore	Disco.Effects.Store
mapStore	Disco.Effects.Store
mapTelescope	Disco.AST.Generic, Disco.AST.Surface
maximum0	Disco.Util
Mem	Disco.Value
Memo	Disco.AST.Core
memoLookup	Disco.Value
memoSet	Disco.Value
mergeTestEnv	Disco.Value
Message
1 (Type/Class)	Disco.Messages
2 (Data Constructor)	Disco.Messages
message	Disco.Messages
MessageType	Disco.Messages
messageType	Disco.Messages
miDocs	Disco.Module
miExts	Disco.Module
miImports	Disco.Module
miName	Disco.Module
miNames	Disco.Module
miProps	Disco.Module
MissingAscr	Disco.Parser
miTermdefs	Disco.Module
miTerms	Disco.Module
miTydefs	Disco.Module
miTys	Disco.Module
mkConstraintGraph	Disco.Typecheck.Solve
mkExampleMatch	Disco.Exhaustiveness
mkGraph	Disco.Typecheck.Graph
mkIntro	Disco.Doc
mkIPMatch	Disco.Exhaustiveness
mkRef	Disco.Doc
mkTVI	Disco.Typecheck.Solve
Mod	Disco.Syntax.Operators
modDecls	Disco.AST.Surface
modDocs	Disco.AST.Surface
Mode	Disco.Typecheck
modExts	Disco.AST.Surface
modify	Disco.Effects.State
modify'	Disco.Effects.State
modImports	Disco.AST.Surface
modTerms	Disco.AST.Surface
Module
1 (Type/Class)	Disco.AST.Surface
2 (Data Constructor)	Disco.AST.Surface
ModuleInfo
1 (Type/Class)	Disco.Module
2 (Data Constructor)	Disco.Module
ModuleName	Disco.Names
ModuleNotFound	Disco.Error
ModuleProvenance	Disco.Names
mparens	Disco.Pretty
msg	Disco.Messages
Mul	Disco.Syntax.Operators
MultiArgLambda	Disco.Parser