Case | Language.PiSigma.Syntax |
Cat | Language.PiSigma.Pretty |
cat | Language.PiSigma.Pretty |
catchE | Language.PiSigma.Evaluate |
Char | Language.PiSigma.Pretty |
char | Language.PiSigma.Pretty |
charLiteral | Language.PiSigma.Lexer |
checkProg | Language.PiSigma.Check |
chunk | Language.PiSigma.Pretty |
Clos | Language.PiSigma.Syntax |
Closure | |
1 (Data Constructor) | Language.PiSigma.Syntax |
2 (Type/Class) | Language.PiSigma.Syntax |
colon | |
1 (Function) | Language.PiSigma.Pretty |
2 (Function) | Language.PiSigma.Lexer |
Color | Language.PiSigma.Pretty |
Column | Language.PiSigma.Pretty |
column | |
1 (Function) | Language.PiSigma.Pretty |
2 (Function) | Language.PiSigma.Syntax |
comma | |
1 (Function) | Language.PiSigma.Pretty |
2 (Function) | Language.PiSigma.Lexer |
commaSep | Language.PiSigma.Lexer |
commaSep1 | Language.PiSigma.Lexer |
concat | Language.PiSigma.Util.String.Internal |
Cons | Language.PiSigma.Pretty |
cons | Language.PiSigma.Pretty |
cyan | Language.PiSigma.Pretty |