found a tracable beta and alpha lambda simplificaton Repo

.gitignore

ChangeLog.md

LICENSE

README.md

Setup.hs

app/Main.hs

app/Mu/Evaluator.hs

app/Mu/Parser.hs

app/Mu/Util.hs

cabal.sandbox.config

...us/build/lambda-calculus/autogen/Paths_lambda_calculus.hs

...bda-calculus/build/lambda-calculus/autogen/cabal_macros.h

...us/build/lambda-calculus/lambda-calculus-tmp/Evaluator.hi

...lus/build/lambda-calculus/lambda-calculus-tmp/Evaluator.o

...alculus/build/lambda-calculus/lambda-calculus-tmp/Main.hi

...calculus/build/lambda-calculus/lambda-calculus-tmp/Main.o

...culus/build/lambda-calculus/lambda-calculus-tmp/Parser.hi

...lculus/build/lambda-calculus/lambda-calculus-tmp/Parser.o

...culus/build/lambda-calculus/lambda-calculus-tmp/Pretty.hi

...lculus/build/lambda-calculus/lambda-calculus-tmp/Pretty.o