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

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

Занятията на дисциплината “Въведение в програмирането със зависими типове с Agda” ще се провеждат дистанционно. Първото занятие ще се проведе по разписание в четвъртък, 25.02, от 9 часа в Google Meet на следния адрес: https://meet.google.com/pfh-kecb-jxn. Моля, осигурете си работещи микрофони. Въпроси за курса можете да задавате в Discord: https://discord.gg/6EHjueF5sY

Поздрави,

Екипът по Agda