pack | Language.PiSigma.Pretty |
Pair | Language.PiSigma.Syntax |
parenLeft | Language.PiSigma.Pretty |
parenRight | Language.PiSigma.Pretty |
parens | |
1 (Function) | Language.PiSigma.Pretty |
2 (Function) | Language.PiSigma.Lexer |
parse | Language.PiSigma.Parser |
Parser | Language.PiSigma.Lexer |
Phrase | Language.PiSigma.Syntax |
Pi | Language.PiSigma.Syntax |
pis | Language.PiSigma.Syntax |
PiSigma | Language.PiSigma.Syntax |
Pretties | Language.PiSigma.Pretty |
Pretty | Language.PiSigma.Pretty |
Language.PiSigma.Pretty | |
Printable | Language.PiSigma.Pretty |
Prog | |
1 (Type/Class) | Language.PiSigma.Syntax |
2 (Data Constructor) | Language.PiSigma.Syntax |
prtE | Language.PiSigma.Syntax |
PrtInfo | |
1 (Type/Class) | Language.PiSigma.Syntax |
2 (Data Constructor) | Language.PiSigma.Syntax |
punctuate | Language.PiSigma.Pretty |
putPretty | Language.PiSigma.Pretty |
putScope | Language.PiSigma.Syntax |
putStrLn | Language.PiSigma.Util.String.Internal |