Index

/~>	Lang.Lang
Add	Lang.Lang
And	Lang.Lang
annotate	Lang.Classification
Append	Lang.Lang
apply	Lang.Denotation
ArithmeticPostProcess
1 (Type/Class)	Lang.ClassificationInstances
2 (Data Constructor)	Lang.ClassificationInstances
Arity	Lang.Denotation
arity	Lang.Denotation
Axiom	Logic.Problems
baseCaseScore	Lang.ClassificationInstances
BHC	Lang.ClassificationInstances
BinOp	Lang.Lang
binOpScore	Lang.ClassificationInstances
builtInDefs	Lang.Denotation
BuiltInFun	Lang.Denotation
CanonicalPostProcess
1 (Type/Class)	Lang.ClassificationInstances
2 (Data Constructor)	Lang.ClassificationInstances
childContexts	Lang.Classification
children	Logic.Proof
Classification	Lang.Classification
classify	Lang.Classification
closureScore	Lang.ClassificationInstances
conclusion	Logic.Proof
containsApp	Lang.Lang
Context	Lang.Classification
countNodes	Logic.Proof
CustomClassify	Lang.ClassificationInstances
CustomClassifyNT
1 (Type/Class)	Lang.ClassificationInstances
2 (Data Constructor)	Lang.ClassificationInstances
Div	Lang.Lang
doesOccurAgain	Lang.ClassificationInstances
EApp	Lang.Lang
EBool	Lang.Lang
EChar	Lang.Lang
EIf	Lang.Lang
EInt	Lang.Lang
ELam	Lang.Lang
ELet	Lang.Lang
EList	Lang.Lang
embed	Lang.Lang
EOp	Lang.Lang
Eq	Lang.Lang
EStr	Lang.Lang
eval	Lang.Denotation
evalExample	Lang.Evaluation
EvalJ
1 (Type/Class)	Lang.Operation
2 (Data Constructor)	Lang.Operation
evaluationExamples
1 (Function)	Lang.Explanation
2 (Function)	Lang.NamedExplanation
EVar	Lang.Lang
Explain	Logic.Proof
Expr	Lang.Lang
exprMap	Lang.Operation
fillEnv	Lang.Lang
fillEnvJ	Lang.Operation
fillRight	Lang.NamedExplanation
findExp	Lang.Explanation
Fine	Logic.Problems
flattenApp	Lang.Lang
freeVars	Lang.Lang
fth	Lang.ClassificationInstances
GEq	Lang.Lang
getBinding	Lang.Parser
getParts
1 (Function)	Lang.Explanation
2 (Function)	Lang.NamedExplanation
getRight	Lang.Parser
getRow	Logic.Proof
GlobalEnv	Lang.Lang
globalTest	Lang.Denotation
Gt	Lang.Lang
hide	Logic.Proof
hidePast	Logic.Proof
ifExprScore	Lang.ClassificationInstances
IsArith
1 (Type/Class)	Lang.ClassificationInstances
2 (Data Constructor)	Lang.ClassificationInstances
isArithScore	Lang.ClassificationInstances
IsBaseCase	Lang.ClassificationInstances
IsBinOp
1 (Type/Class)	Lang.ClassificationInstances
2 (Data Constructor)	Lang.ClassificationInstances
isBuildInApp	Lang.Denotation
isBuiltIn	Lang.Denotation
IsClosure
1 (Type/Class)	Lang.ClassificationInstances
2 (Data Constructor)	Lang.ClassificationInstances
IsConditional
1 (Type/Class)	Lang.ClassificationInstances
2 (Data Constructor)	Lang.ClassificationInstances
IsConditionalCTX
1 (Type/Class)	Lang.ClassificationInstances
2 (Data Constructor)	Lang.ClassificationInstances
isConditionalScore	Lang.ClassificationInstances
IsIfExpr
1 (Type/Class)	Lang.ClassificationInstances
2 (Data Constructor)	Lang.ClassificationInstances
IsLiteral
1 (Type/Class)	Lang.ClassificationInstances
2 (Data Constructor)	Lang.ClassificationInstances
isLiteralScore	Lang.ClassificationInstances
IsRelevantRecCall
1 (Type/Class)	Lang.ClassificationInstances
2 (Data Constructor)	Lang.ClassificationInstances
IsRelevantRecCallCTX
1 (Type/Class)	Lang.ClassificationInstances
2 (Data Constructor)	Lang.ClassificationInstances
Issue	Logic.Problems
isValue	Lang.Lang
Latex	Display.Latex
latex	Display.Latex
Leaf	Logic.Proof
LEq	Lang.Lang
loadFile	Lang.Parser
LocalEnv	Lang.Lang
Lt	Lang.Lang
measure	Lang.Classification
Missing	Logic.Problems
Mul	Lang.Lang
Neg	Lang.Classification
NEq	Lang.Lang
nicerProblems	Logic.Problems
Node	Logic.Proof
oneStep	Lang.NamedExplanation
Or	Lang.Lang
parse	Lang.Parser
ParseError	Lang.Parser
parseExample	Lang.Evaluation
parseFromFile	Lang.Parser
parseProgram	Lang.Parser
ParseResult	Lang.Parser
parseString	Lang.Parser
pick	Lang.Classification
pick'	Lang.Classification
pickTestClassficationStrategy	Lang.ClassificationInstances
Polarity	Lang.Classification
polarity	Lang.Classification
Pos	Lang.Classification
postProcess	Lang.ClassificationInstances
PostProcessing	Lang.ClassificationInstances
postProcessJ	Lang.ClassificationInstances
premises	Logic.Proof
Problem	Logic.Problems
problems	Logic.Problems
Proof
1 (Type/Class)	Logic.Proof
2 (Data Constructor)	Logic.Proof
proofs	Logic.Proof
prove	Logic.Proof
prove'	Logic.Proof
reallyStupidFixPrashantPleaseHelp	Lang.Parser
relevantRecCallScore	Lang.ClassificationInstances
render	Display.Latex
rightProofTree
1 (Function)	Lang.Explanation
2 (Function)	Lang.NamedExplanation
rootCtx	Lang.Classification
runArithmetic	Lang.Denotation
runBinOp	Lang.Denotation
runBuildInApp	Lang.Denotation
runBuiltIn	Lang.Denotation
runExample	Lang.ClassificationInstances
Score	Lang.Classification
score	Lang.Classification
select	Lang.Classification
selectByAnnotation	Lang.Classification
selectCustom	Lang.Classification
selectCustom'	Lang.Classification
SimpleArithmeticPostProcess
1 (Type/Class)	Lang.ClassificationInstances
2 (Data Constructor)	Lang.ClassificationInstances
std	Lang.Evaluation
Strategy	Lang.Classification
Sub	Lang.Lang
substExpr	Lang.Lang
substVar	Lang.Lang
subTreeByJudge	Lang.NamedExplanation
suppose	Logic.Proof
tagJudge
1 (Function)	Lang.Explanation
2 (Function)	Lang.NamedExplanation
tagJudge'
1 (Function)	Lang.Explanation
2 (Function)	Lang.NamedExplanation
tagProof
1 (Function)	Lang.Explanation
2 (Function)	Lang.NamedExplanation
TestClassification	Lang.ClassificationInstances
testExpr	Lang.Denotation
thd	Lang.ClassificationInstances
toList	Logic.Proof
toList'	Logic.Proof
trace	Lang.Operation
traceExample	Lang.Evaluation
traceExpr	Lang.Evaluation
treeMap	Lang.Lang
treeMap'	Lang.Lang
unembed	Lang.Lang
unflattenApp	Lang.Lang
unzipProof	Lang.ClassificationInstances
Val
1 (Type/Class)	Lang.Lang
2 (Data Constructor)	Lang.Lang
ValueName	Lang.Lang
Var	Lang.Lang
VBool	Lang.Lang
VChar	Lang.Lang
VClo	Lang.Lang
VClosure	Lang.Lang
VInt	Lang.Lang
VList	Lang.Lang
VStr	Lang.Lang
weightedCustomScore	Lang.ClassificationInstances
XEvalJ
1 (Type/Class)	Lang.Explanation
2 (Data Constructor)	Lang.Explanation
3 (Type/Class)	Lang.NamedExplanation
4 (Data Constructor)	Lang.NamedExplanation
XTag
1 (Type/Class)	Lang.Explanation
2 (Data Constructor)	Lang.Explanation
3 (Type/Class)	Lang.NamedExplanation
4 (Data Constructor)	Lang.NamedExplanation
XTagClassify
1 (Type/Class)	Lang.NamedExplanation
2 (Data Constructor)	Lang.NamedExplanation
~>	Lang.Lang