disco-0.1.5: Functional programming language for teaching discrete math.
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 - L
L
Disco.AST.Generic
,
Disco.AST.Surface
Lam
Disco.AST.Generic
,
Disco.AST.Surface
lambda
Disco.Parser
lastFile
Disco.Eval
Lazy
Disco.Types
Leq
Disco.Syntax.Operators
lexeme
Disco.Parser
LFresh
Disco.Effects.LFresh
Lfresh
Disco.Effects.LFresh
lfresh
Disco.Effects.LFresh
LFreshDict
1 (Type/Class)
Disco.Effects.LFresh
2 (Data Constructor)
Disco.Effects.LFresh
lfresh_
Disco.Effects.LFresh
limBySort
Disco.Typecheck.Solve
Link
Disco.AST.Surface
Link_
Disco.AST.Generic
list
Disco.Report
ListContainer
Disco.AST.Generic
,
Disco.AST.Surface
,
Disco.AST.Typed
,
Disco.AST.Desugared
listv
Disco.Value
lkup
1 (Function)
Disco.Typecheck.Solve
2 (Function)
Disco.Value
loadDef
Disco.Eval
loadDefsFrom
Disco.Eval
loadDiscoModule
Disco.Eval
loadFile
Disco.Eval
,
Disco.Interactive.Commands
LoadingMode
Disco.Module
loadParsedDiscoModule
Disco.Eval
localCtx
Disco.Context
LocalName
Disco.Names
localName
Disco.Names
LocTCError
1 (Type/Class)
Disco.Typecheck.Util
2 (Data Constructor)
Disco.Typecheck.Util
lookup
1 (Function)
Disco.Subst
2 (Function)
Disco.Context
lookup'
Disco.Context
lookupAll
Disco.Context
lookupAll'
Disco.Context
lookupNonLocal
Disco.Context
lookupNonLocal'
Disco.Context
LookupStore
Disco.Effects.Store
lookupStore
Disco.Effects.Store
lookupTyDefn
Disco.Typecheck.Util
lookupVM
Disco.Typecheck.Solve
Lt
Disco.Syntax.Operators
lt
Disco.Pretty
lubBySort
Disco.Typecheck.Solve
lunbind
Disco.Effects.LFresh