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

Index - L

LDisco.AST.Generic, Disco.AST.Surface
LamDisco.AST.Generic, Disco.AST.Surface
lambdaDisco.Parser
lastFileDisco.Eval
LazyDisco.Types
LeqDisco.Syntax.Operators
lexemeDisco.Parser
LFreshDisco.Effects.LFresh
LfreshDisco.Effects.LFresh
lfreshDisco.Effects.LFresh
LFreshDict 
1 (Type/Class)Disco.Effects.LFresh
2 (Data Constructor)Disco.Effects.LFresh
lfresh_Disco.Effects.LFresh
limBySortDisco.Typecheck.Solve
LinkDisco.AST.Surface
Link_Disco.AST.Generic
listDisco.Report
ListContainerDisco.AST.Generic, Disco.AST.Surface, Disco.AST.Typed, Disco.AST.Desugared
listvDisco.Value
lkup 
1 (Function)Disco.Typecheck.Solve
2 (Function)Disco.Value
loadDefDisco.Eval
loadDefsFromDisco.Eval
loadDiscoModuleDisco.Eval
loadFileDisco.Eval, Disco.Interactive.Commands
LoadingModeDisco.Module
loadParsedDiscoModuleDisco.Eval
localCtxDisco.Context
LocalNameDisco.Names
localNameDisco.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
lookupAllDisco.Context
lookupAll'Disco.Context
lookupNonLocalDisco.Context
lookupNonLocal'Disco.Context
LookupStoreDisco.Effects.Store
lookupStoreDisco.Effects.Store
lookupTyDefnDisco.Typecheck.Util
lookupVMDisco.Typecheck.Solve
LtDisco.Syntax.Operators
ltDisco.Pretty
lubBySortDisco.Typecheck.Solve
lunbindDisco.Effects.LFresh