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