Lambda Calculus Interpreter

Source code may be found at <a href="https:&#x2F;&#x2F;github.com&#x2F;ascandone&#x2F;elm-lambda-interpreter">https:&#x2F;&#x2F;github.com&#x2F;ascandone&#x2F;elm-lambda-interpreter</a>

It seems to scroll forever. Does this example terminate? What would be an easier example to try?

<p><pre><code> let Sub = λ a b f c.b (\ x.x True) (a (\ cc o.o cc (f (cc False))) (λ o.o c c)) False </code></pre> Subtraction is always fun.

See also <a href="https:&#x2F;&#x2F;tromp.github.io&#x2F;blog&#x2F;2023&#x2F;11&#x2F;24&#x2F;largest-number" rel="nofollow">https:&#x2F;&#x2F;tromp.github.io&#x2F;blog&#x2F;2023&#x2F;11&#x2F;24&#x2F;largest-number</a>

so easy to read, missed a comma in line 503