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

Index - N

NDisco.Types
NamedDisco.Names
NameProvenanceDisco.Names
namesDisco.Context
natural 
1 (Function)Disco.Parser
2 (Function)Disco.Exhaustiveness.TypeInfo
NegDisco.Syntax.Operators
negMatchesDisco.Exhaustiveness.Constraint
NeqDisco.Syntax.Operators
nest 
1 (Function)Disco.Report
2 (Function)Disco.Pretty.DSL, Disco.Pretty
NewDisco.Effects.Store
newDisco.Effects.Store
newNameDisco.Exhaustiveness.TypeInfo
newNamesDisco.Exhaustiveness.TypeInfo
newVarDisco.Exhaustiveness.TypeInfo
newVarsDisco.Exhaustiveness.TypeInfo
NextDisco.Effects.Counter
nextDisco.Effects.Counter
nilDisco.Exhaustiveness.TypeInfo
nodesDisco.Typecheck.Graph
NoErrorDisco.Typecheck.Util
noLocDisco.Typecheck.Util
NoMemoDisco.AST.Core
noneDisco.Exhaustiveness.Possibilities
NonExhaustiveDisco.Error
NonlinearPatternDisco.Typecheck.Util
NoPolyRecDisco.Typecheck.Util
NormRefTypeDisco.Exhaustiveness.Constraint
NoSearchDisco.Typecheck.Util
NoStdLibDisco.Extensions
NotDisco.Syntax.Operators
NotConDisco.Typecheck.Util
NotEnoughArgsDisco.Typecheck.Util
NotTyDefDisco.Typecheck.Util
NoTWildDisco.Typecheck.Util
NoTypeDisco.Typecheck.Util
NoUnifyDisco.Typecheck.Solve
NoWeakUnifierDisco.Typecheck.Solve
nullDisco.Context
NumPatternsDisco.Typecheck.Util