Обявления

Първо занятие

Първо занятие

by Трифон Трифонов -
Number of replies: 0

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

 

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

 

Поздрави,

Екипът по Agda