Программирование с зависимыми типами 6SE осень 2018

Материал из CSC Wiki
Перейти к:навигация, поиск

Преподаватель: Исаев Валерий Иванович (valery.isaev@gmail.com)

Материалы

Будем использовать язык Arend

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

Решения присылайте на почту — напишу ответное письмо, если будут замечания (за исправления баллы не снижаются). Чтобы я смог оставлять комментарии прямо в коде, заведите на github репозиторий — добавьте аккаунт valis в коллабораторы и пришлите ссылку с вашим именем. Решения проверяю перед каждой лекцией — дедлайн. Могу и раньше, пишите на почту.

Зачёт — сдать каждое задание на балла.

Таблица с результатами