backslash | Language.PiSigma.Pretty |
beside | Language.PiSigma.Pretty |
Bind | Language.PiSigma.Syntax |
black | Language.PiSigma.Pretty |
blue | Language.PiSigma.Pretty |
bold | Language.PiSigma.Pretty |
Box | Language.PiSigma.Syntax |
Boxed | |
1 (Type/Class) | Language.PiSigma.Syntax |
2 (Data Constructor) | Language.PiSigma.Syntax |
braceLeft | Language.PiSigma.Pretty |
braceRight | Language.PiSigma.Pretty |
braces | |
1 (Function) | Language.PiSigma.Pretty |
2 (Function) | Language.PiSigma.Lexer |
bracketLeft | Language.PiSigma.Pretty |
bracketRight | Language.PiSigma.Pretty |
brackets | |
1 (Function) | Language.PiSigma.Pretty |
2 (Function) | Language.PiSigma.Lexer |