Въведение в програмирането със зависими типове с Agda 2023/24

Здравейте, колеги,

Благодарим ви за интереса в курса. Поради моя ангажираност в първоначално обявения ден и час за занятията към курса „Въведение в програмирането със зависими типове с Agda“, занятията се изместват в сряда от 9 до 12 в зала 209.

Очакваме ви на първото занятие тази седмица!