Домашние задания

2018 Результаты
Решения первых трех заданий(λ-исчисление и типы) присылаются на почту. Формат: предпочтительно - pdf(лучше верстать в LaTeX), но можно и markdown или даже plain text в кодировке utf8. В теме письма обязательно укажите [leti_fp]. Также в письме не забудьте указать группу и ФИО.

λ-исчисление и типы

Подстановка, комбинаторы, логические значения, нумералы Чёрча
Дедлайн 20.09.2018 23:59(MSK)
Задание
Исходник(LaTeX)

Haskell