Contents
Index
lambda-calculator-1.0.0: A lambda calculus interpreter
Index
Abs
Language.Lambda.Expression
,
Language.Lambda
add
Language.Lambda.PrettyPrint
addSpace
Language.Lambda.PrettyPrint
alphaConvert
Language.Lambda.Eval
App
Language.Lambda.Expression
,
Language.Lambda
append
Language.Lambda.PrettyPrint
betaReduce
Language.Lambda.Eval
between
Language.Lambda.PrettyPrint
betweenParens
Language.Lambda.PrettyPrint
empty
Language.Lambda.PrettyPrint
etaConvert
Language.Lambda.Eval
evalExpr
Language.Lambda.Eval
,
Language.Lambda
evalString
Language.Lambda
freeVarsOf
Language.Lambda.Eval
intercalate
Language.Lambda.PrettyPrint
lambda
Language.Lambda.PrettyPrint
LambdaExpr
Language.Lambda.Expression
,
Language.Lambda
parseExpr
Language.Lambda.Parser
,
Language.Lambda
PDoc
1 (Type/Class)
Language.Lambda.PrettyPrint
2 (Data Constructor)
Language.Lambda.PrettyPrint
pprAbs
Language.Lambda.Expression
pprApp
Language.Lambda.Expression
pprExpr
Language.Lambda.Expression
PrettyPrint
Language.Lambda.PrettyPrint
,
Language.Lambda
prettyPrint
Language.Lambda.PrettyPrint
,
Language.Lambda
space
Language.Lambda.PrettyPrint
sub
Language.Lambda.Eval
uncurry
Language.Lambda.Expression
uniques
Language.Lambda
Var
Language.Lambda.Expression
,
Language.Lambda