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

Привет!

Тъй като има поне няколко човека, които им е неудобен сегашният ден на провеждане, пускаме следната анкета, в която всеки може да отбележи кои дни би му било удобно.

Искам да отбележа две неща:
* анкетата е с много избори - маркирайте всички дни в които можете да присъствате
* при натискане два пъти на даден ден, маркерът се сменя от зелено на жълто,  като зелено ще смятаме за "мога и ми е удобно", а жълто ще смятаме за "мога, но не ми е най-удобното"

Тазседмичното занятие си остава в четвъртък от 0900.

Линк към анкетата - https://doodle.com/poll/y2n49s2i7aykzq4y