Шаблон:ОФП Содержание: различия между версиями

Содержимое удалено Содержимое добавлено
мНет описания правки
м переименование
 
Строка 15:
*[[Основы функционального программирования/Конструирование функций|Конструирование функций]]<br />
*[[Основы функционального программирования/Доказательство свойств функций|Доказательство свойств функций]]<br />
*[[Основы функционального программирования/Формализация функционального программирования на основе λлямбда-исчисления|Формализация&nbsp;функционального&nbsp;программирования на&nbsp;основе&nbsp;λ-исчисления]]<br />
*[[Основы функционального программирования/Трансформация программ|Трансформация программ]]