Изменения
Нет описания правки
Наиболее известным комбинатором неподвижной точки является <tex>Y</tex>-комбинатор, введенный известным американским ученым Хаскеллом Карри как
:<tex>Y\ =\ \lambda f.(\lambda x\.f(xxx\ x))\ (\lambda x.f(xxx\ x))</tex>
===Деление===
