Language.Lambda.Eval

evalExpr

betaReduce

alphaConvert

etaConvert

sub

freeVarsOf