Программирование с зависимыми типами весна 2020

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

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

Материалы

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

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

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

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