disco-0.2: Functional programming language for teaching discrete math.
Quick Jump
Contents
Index
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Z
:
!
$
%
.
<
=
@
|
_
All
Index - N
N
Disco.Types
Named
Disco.Names
NameProvenance
Disco.Names
names
Disco.Context
natural
1 (Function)
Disco.Parser
2 (Function)
Disco.Exhaustiveness.TypeInfo
Neg
Disco.Syntax.Operators
negMatches
Disco.Exhaustiveness.Constraint
Neq
Disco.Syntax.Operators
nest
1 (Function)
Disco.Report
2 (Function)
Disco.Pretty.DSL
, Disco.Pretty
New
Disco.Effects.Store
new
Disco.Effects.Store
newName
Disco.Exhaustiveness.TypeInfo
newNames
Disco.Exhaustiveness.TypeInfo
newVar
Disco.Exhaustiveness.TypeInfo
newVars
Disco.Exhaustiveness.TypeInfo
Next
Disco.Effects.Counter
next
Disco.Effects.Counter
nil
Disco.Exhaustiveness.TypeInfo
nodes
Disco.Typecheck.Graph
NoError
Disco.Typecheck.Util
noLoc
Disco.Typecheck.Util
NoMemo
Disco.AST.Core
none
Disco.Exhaustiveness.Possibilities
NonExhaustive
Disco.Error
NonlinearPattern
Disco.Typecheck.Util
NoPolyRec
Disco.Typecheck.Util
NormRefType
Disco.Exhaustiveness.Constraint
NoSearch
Disco.Typecheck.Util
NoStdLib
Disco.Extensions
Not
Disco.Syntax.Operators
NotCon
Disco.Typecheck.Util
NotEnoughArgs
Disco.Typecheck.Util
NotTyDef
Disco.Typecheck.Util
NoTWild
Disco.Typecheck.Util
NoType
Disco.Typecheck.Util
NoUnify
Disco.Typecheck.Solve
NoWeakUnifier
Disco.Typecheck.Solve
null
Disco.Context
NumPatterns
Disco.Typecheck.Util