readFile | Language.PiSigma.Util.String.Parser |
Rec | Language.PiSigma.Syntax |
red | Language.PiSigma.Pretty |
renderCompact | Language.PiSigma.Pretty |
renderPretty | Language.PiSigma.Pretty |
renderSeq | Language.PiSigma.Pretty |
renderSimplePretty | Language.PiSigma.Pretty |
replicate | Language.PiSigma.Pretty |
reserved | Language.PiSigma.Lexer |
reservedOp | Language.PiSigma.Lexer |
RestoreFormat | Language.PiSigma.Pretty |
reverse | Language.PiSigma.Pretty |
run | Language.PiSigma.Evaluate |