Основы функционального программирования/Формализация функционального программирования на основе лямбда-исчисления: различия между версиями
Содержимое удалено Содержимое добавлено
Gribozavr (обсуждение | вклад) м категория |
Ashikbot (обсуждение | вклад) Уточнение ключа сортировки |
||
Строка 246:
if B then M else N = BNM, где B = {True, False}</code>.
[[Категория:Основы функционального программирования|Формализация функционального программирования на основе лямбда-исчисления]]
| |||