Основы функционального программирования/Формализация ФП на основе lambda-исчисления: различия между версиями
Содержимое удалено Содержимое добавлено
Ramir (обсуждение | вклад) «Основы функционального программирования/Формализация ФП на основе lambda-исчисления» переименована в «[[Основы функционального программ |
м Робот: исправление двойного перенаправления |
||
Строка 1: | Строка 1: | ||
#REDIRECT [[Основы функционального программирования/Формализация |
#REDIRECT [[Основы функционального программирования/Формализация функционального программирования на основе лямбда-исчисления]] |