Why do you think that https://github.com/solomon-b/lambda-calculus-hs is a good alternative to lamda_calculus_formalizations
Why do you think that https://github.com/solomon-b/lambda-calculus-hs is a good alternative to lamda_calculus_formalizations