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

Index - G

GDisco.Typecheck.Graph
gateDisco.Util
GBoolDisco.AST.Surface
GBool_Disco.AST.Generic
GdtDisco.Exhaustiveness
GenDisco.Types
generateSamplesDisco.Property
genvDisco.Value
GeqDisco.Syntax.Operators
GetDisco.Effects.State
getDisco.Effects.State
GetAvoidsDisco.Effects.LFresh
getAvoidsDisco.Effects.LFresh
getAvoids_Disco.Effects.LFresh
getConstructorArgsDisco.Exhaustiveness.Constraint
getEltTyDisco.Typecheck
getIlkDisco.Typecheck.Solve
getPADisco.Pretty.Prec, Disco.Pretty
getPosFromDisco.Exhaustiveness
getPossibilitiesDisco.Exhaustiveness.Possibilities
getsDisco.Effects.State
getSolutionLimitDisco.Typecheck.Solve
getSortDisco.Typecheck.Solve
getSubstDisco.Subst
getTestEnvDisco.Value
getType 
1 (Function)Disco.Types, Disco.AST.Typed
2 (Function)Disco.Exhaustiveness.TypeInfo
glbBySortDisco.Typecheck.Solve
GLetDisco.AST.Surface
GLet_Disco.AST.Generic
GMatchDisco.Exhaustiveness
GPatDisco.AST.Surface
GPat_Disco.AST.Generic
GraphDisco.Typecheck.Graph
GrhsDisco.Exhaustiveness
GtDisco.Syntax.Operators
Guard 
1 (Type/Class)Disco.AST.Surface
2 (Type/Class)Disco.Exhaustiveness
GuardConstraintDisco.Exhaustiveness
GuardedDisco.Exhaustiveness
Guard_Disco.AST.Generic
GWasOriginallyDisco.Exhaustiveness