Привет,
Качих първо домашно, но не се чувствайте притиснати да го решавате, защото не сме говорили все още за (поне) една конструкция която ще ви е нужна за него.
Целта на домашното не е да направим нещо по-сложно, а по-скоро да си поиграете малко със синтаксиса на агда да помислите как да моделирате данни/формулирате свойства.
Все пак пускам известие, за хората които искат от по-рано да го гледат - https://github.com/googleson78/agda-2023-24/blob/main/Homework/Elevator/task.md
Потенциално срок и начин за предаване ще бъдат обявени на по-късна дата.