Thank you for reading. In this page everything is evaluated using the minimal toolkit, lambadas & defs. And as usual with numbers as lists evaaluations are slow and limited to small numbers. You could have a look to this page http://lambdaway.free.fr/lambdawalks/?view=oops6 to see how (very) big numbers can computed at the lambda-calculus level, and to http://lambdaway.free.fr/lambdawalks/?view=coding for a general introduction to this project.
I noticed that even `if` are functions that use `lambdas` for the branches. It's good because it's possible to remove another magical special form and it's good for static code analysis, but it's bad for performance.
