align | Language.PiSigma.Pretty |
angleLeft | Language.PiSigma.Pretty |
angleRight | Language.PiSigma.Pretty |
angles | |
1 (Function) | Language.PiSigma.Pretty |
2 (Function) | Language.PiSigma.Lexer |
App | Language.PiSigma.Syntax |
append | |
1 (Function) | Language.PiSigma.Pretty |
2 (Function) | Language.PiSigma.Util.String.Parser |
3 (Function) | Language.PiSigma.Util.String.Internal |