Изменения

Перейти к: навигация, поиск

Лямбда-исчисление

11 байт добавлено, 23:12, 10 марта 2019
+1
===+1===
Функция, прибавляющая <tex>1 </tex> к числу, должна принимать первым аргументом число.
Но число {{---}} функция двух аргументов. Значит, эта функция должна принимать три
аргумента: "число" <tex>n</tex>, которое хочется увеличить, функция, которую надо будет
36
правок

Навигация