courses:functional_programming:practice
Содержание
Домашние задания
Решения первых трех заданий(λ-исчисление и типы) присылаются на почту.
Формат: предпочтительно - pdf(лучше верстать в LaTeX), но можно и markdown или даже plain text в кодировке utf8.
В теме письма обязательно укажите [leti_fp]. Также в письме не забудьте указать группу и ФИО.
Формат: предпочтительно - pdf(лучше верстать в LaTeX), но можно и markdown или даже plain text в кодировке utf8.
В теме письма обязательно укажите [leti_fp]. Также в письме не забудьте указать группу и ФИО.
λ-исчисление и типы
- Подстановка, комбинаторы, логические значения, нумералы Чёрча
Дедлайн 20.09.2018 23:59(MSK)
Задание
Исходник(LaTeX) - Нумералы Чёрча, списки, комбинаторы неподвижной точки, редукционные графы, нормальные формы(NF,HNF,WHNF)
Дедлайн 04.10.2018 23:59(MSK)
Задание
Исходник(LaTeX)