Изменения
Нет описания правки
которая возвращает их сумму. Правда, здесь мы немного вышли за написанную выше грамматику.
Ну да ладно. <tex>\operatorname{sum}\ 2\ 3 \equiv 5</tex>
Иногда <tex>\lambda</tex> -термы пишут по другому. Для краткости подряд идущие лямбды заменяют на одну. Например:
:<tex>\lambda x\ .\ \lambda y\ .P\ \to\ \lambda xy.P</tex>
===Приоритет операций===
