If you're interested in collecting a more diverse set of benchmarks, Stephanie Weirich presented her work [1] at the recent WITS workshop [2] comparing the effi

If you're interested in collecting a more diverse set of benchmarks, Stephanie Weirich presented her work [1] at the recent WITS workshop [2] comparing the efficiency of different reduction strategies in the untyped λ-calculus across a dataset of natural and synthetic terms. I would be curious to see how your implementation compares. [1]: https://github.com/sweirich/lambda-n-ways https://github.com/sweirich/lambda-n-ways [2]: https://popl22.sigplan.org/home/wits-2022 https://popl22.sigplan.org/home/wits-2022