D'Ambrosi, D. (2023). Evaluating Untyped Lambda Expressions in Haskell (Version 1.0.0) [Computer software]. https://github.com/dambrosidenis/Lambda_Expression_Evaluation