I'm experimenting with optimizing reduction strategies for the untyped lambda calculus. Is there any (publicly available) dataset of (terminating) lambda terms I could use?
Maybe it would be possible to scrape code from commonly used programming languages and compile it down to LC...
Best, Paul Gustafson
P.S. Please let me know if there's a better forum for this question.