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

Index - Q

QDisco.Types
QBasicDisco.Types.Qualifiers, Disco.Types.Rules
QBindDisco.AST.Surface
QBind_Disco.AST.Generic
QBoolDisco.Types.Qualifiers, Disco.Types.Rules
QCmpDisco.Types.Qualifiers, Disco.Types.Rules
QDivDisco.Types.Qualifiers, Disco.Types.Rules
QEnumDisco.Types.Qualifiers, Disco.Types.Rules
QGuardDisco.AST.Surface
QGuard_Disco.AST.Generic
QName 
1 (Type/Class)Disco.Names
2 (Data Constructor)Disco.Names
qnameDisco.Names
qnameProvenanceDisco.Names
QNumDisco.Types.Qualifiers, Disco.Types.Rules
QSimpleDisco.Types.Qualifiers, Disco.Types.Rules
QSubDisco.Types.Qualifiers, Disco.Types.Rules
QualDisco.AST.Surface
QualifiedNameDisco.Names
QualifierDisco.Types.Qualifiers, Disco.Types.Rules
qualRulesDisco.Types.Rules
QualSkolemDisco.Typecheck.Solve
Qual_Disco.AST.Generic
QuantifierDisco.AST.Generic, Disco.AST.Surface
quotesDisco.Pretty.DSL, Disco.Pretty