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

Index - B

BDisco.Types
bagDisco.Pretty.DSL, Disco.Pretty
BagContainerDisco.AST.Generic, Disco.AST.Surface, Disco.AST.Typed, Disco.AST.Desugared
baseRelsDisco.Typecheck.Solve
BaseTyDisco.Types
BFixityDisco.Syntax.Operators
Binder_Disco.AST.Generic
Binding 
1 (Type/Class)Disco.AST.Surface
2 (Data Constructor)Disco.AST.Surface
Binding_ 
1 (Type/Class)Disco.AST.Generic
2 (Data Constructor)Disco.AST.Generic
BlackholeDisco.Value
BOpDisco.Syntax.Operators
BOpFDisco.Syntax.Operators
bopMapDisco.Syntax.Operators
bopQualDisco.Types.Qualifiers, Disco.Types.Rules
bPrecDisco.Syntax.Operators
braces 
1 (Function)Disco.Pretty.DSL, Disco.Pretty
2 (Function)Disco.Parser
brackets 
1 (Function)Disco.Pretty.DSL, Disco.Pretty
2 (Function)Disco.Parser
BranchDisco.AST.Surface
Branch_Disco.AST.Generic
bulletListDisco.Pretty.DSL, Disco.Pretty