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

Index - F

FDisco.Types
FactDisco.Syntax.Operators
filterDisco.Context
filterDupsDisco.Typecheck
filterErrorsDisco.Typecheck.Solve
filterNEDisco.Util
findAllForNrefDisco.Exhaustiveness
findAllPosForNrefDisco.Exhaustiveness
findInhabitantsDisco.Exhaustiveness
findPosExamplesDisco.Exhaustiveness
findRedundantDisco.Exhaustiveness
findRepDisco.Pretty
findRep'Disco.Pretty
findVarInhabitantsDisco.Exhaustiveness
findVarPosExamplesDisco.Exhaustiveness
FiniteDisco.Exhaustiveness.TypeInfo
foldTelescopeDisco.AST.Generic, Disco.AST.Surface
forDisco.Util
ForallDisco.Types
forAllDisco.Typecheck.Util
ForallGuardDisco.AST.Generic
ForallLinkDisco.AST.Generic
ForallPatternDisco.AST.Generic
ForallQualDisco.AST.Generic
ForallTermDisco.AST.Generic
Fresh 
1 (Type/Class)Disco.Effects.Fresh
2 (Data Constructor)Disco.Effects.Fresh
freshDisco.Effects.Fresh
freshAtomDisco.Typecheck.Util
FreshDict 
1 (Type/Class)Disco.Effects.Fresh
2 (Data Constructor)Disco.Effects.Fresh
freshQDisco.Effects.Fresh
freshTyDisco.Typecheck.Util
fresh_Disco.Effects.Fresh
FromCwdOrStdlibDisco.Module
FromDirDisco.Module
FromDirOrStdlibDisco.Module
fromList 
1 (Function)Disco.Subst
2 (Function)Disco.Context
fromSideDisco.AST.Generic
fromSimpleValueDisco.Value
FromStdlibDisco.Module
fromTelescopeDisco.AST.Generic, Disco.AST.Surface
funPADisco.Pretty.Prec, Disco.Pretty
funPrecDisco.Syntax.Operators
fvQDisco.Names