Основы функционального программирования/Структуры данных и базисные операции: различия между версиями

Содержимое удалено Содержимое добавлено
Строка 154:
##*<math>listSumm([], L) = L</math>
##*<math>listSumm(L, []) = L</math>
##*<math>listSumm(L_{1}, L_{2}) = prefix((head(L_{1}) + head(L_{2})), listSumm(tail(L_{1}), tail(L_{2})))</math>
##<math>oddEven</math>:
##*<math>oddEven([]) = []</math>