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

Index - L

LDisco.AST.Generic, Disco.AST.Surface
LamDisco.AST.Generic, Disco.AST.Surface
lambdaDisco.Parser
LAndDisco.Value
lastFileDisco.Eval
LazyDisco.Types
lbsBySortDisco.Typecheck.Solve
leftDisco.Exhaustiveness.TypeInfo
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
LImplDisco.Value
LinkDisco.AST.Surface
Link_Disco.AST.Generic
listDisco.Report
ListContainerDisco.AST.Generic, Disco.AST.Desugared, Disco.AST.Surface, Disco.AST.Typed
listvDisco.Value
LitCondDisco.Exhaustiveness
Literal 
1 (Type/Class)Disco.Exhaustiveness
2 (Data Constructor)Disco.Exhaustiveness
LitMatchDisco.Exhaustiveness
LitNotDisco.Exhaustiveness
LitWasOriginallyDisco.Exhaustiveness
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
lookupVarDisco.Exhaustiveness.Constraint
lookupVMDisco.Typecheck.Solve
LOpDisco.Value
LOrDisco.Value
lowerPrecDisco.Pretty.Prec, Disco.Pretty
LtDisco.Syntax.Operators
ltDisco.Pretty
lubBySortDisco.Typecheck.Solve
lunbindDisco.Effects.LFresh