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

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

Index - M

makeTyCtx	Disco.Typecheck
makeTyDefnCtx	Disco.Typecheck
map	Disco.Typecheck.Graph
MapStore	Disco.Effects.Store
mapStore	Disco.Effects.Store
mapTelescope	Disco.AST.Generic, Disco.AST.Surface
Max	Disco.Syntax.Operators
Mem	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
Min	Disco.Syntax.Operators
miName	Disco.Module
miNames	Disco.Module
miProps	Disco.Module
miTermdefs	Disco.Module
miTerms	Disco.Module
miTydefs	Disco.Module
miTys	Disco.Module
mkConstraintGraph	Disco.Typecheck.Solve
mkGraph	Disco.Typecheck.Graph
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