Редактирование: Haskell, 02 лекция (от 05 октября)
Материал из eSyr's wiki.
Внимание: Вы не представились системе. Ваш IP-адрес будет записан в историю изменений этой страницы.
Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.
Текущая версия | Ваш текст | ||
Строка 71: | Строка 71: | ||
add = λmnfx.mf(nfx) | add = λmnfx.mf(nfx) | ||
succ=λnfx.f(nfx) | succ=λnfx.f(nfx) | ||
- | mlt=λ | + | mlt=λmnfm(nf) |
exp=λmn.nm | exp=λmn.nm | ||
легко проверить, что | легко проверить, что |