Изменения
Нет описания правки
<tex>\operatorname{id}\ 2 \equiv 2</tex>. Аналогично, <tex>\operatorname{id}\ y \equiv y</tex>.
Как еще примерыпример: <tex> \lambda x. \lambda y.x</tex> - работает как if(true) (будет возвращать только первый аргумент).
Иногда <tex>\lambda</tex> -термы пишут по другому. Для краткости подряд идущие лямбды заменяют на одну. Например: