Всем разосланы письма с их вариантами заданий. Первый этап — это спецификация типов и функций. Второй этап — доказательство того, что реализация типа и функций соответствует спецификации. Реализацию можно получить после приема преподавателем первого этапа. Сдавать первый этап можно уже 19 апреля после контрольной работы. Занятия после 19 апреля будут посвящены только приему практического задания. Если в какой-то из дней никто не придет в течение 15 минут после начала занятия, преподаватель покидает аудиторию.