disco-0.1.6: 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
LAnd
Disco.Value
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
LImpl
Disco.Value
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
LOp
Disco.Value
LOr
Disco.Value
Lt
Disco.Syntax.Operators
lt
Disco.Pretty
lubBySort
Disco.Typecheck.Solve
lunbind
Disco.Effects.LFresh