User blog comment:Alemagno12/Fast-Growing Functions in Lambda Calculus (and their implementation in CoC)/@comment-26454151-20171217192234

I've been wanting to do this lately, but I've never figured out how to get past $$\varepsilon _1$$. I'm interested to see how far you can go with these, and how you will do so without using any fixed-point combinators. I'm going to link to this post from my analysis of Loader's program.