Изменения
→Комбинатор неподвижной точки
<tex>\operatorname{fact} = \operatorname{fix}\ \operatorname{fact'}</tex>
Это даст функцию, которая посчитает факториал числа. Но делать она это будет мееедленно-меееедленно. Для того, чтобы посчитать <tex?>5!</tex> потребовалось сделать 66066 <tex>\beta</tex>-редукций.
Тут правда ничего не понятно? :'(
