За който е изпуснал упражнението днес:
Имате две нови домашни:
1. https://github.com/googleson78/agda-2023-24/blob/main/Homework/Selections/task.md - занимава се с операцията да "избираме" дадени елементи от `Vec`тор, както и операции над нея
2. https://github.com/googleson78/agda-2023-24/blob/main/Homework/LeftistHeap/Task.md - занимава се с това да дефинирам коректна по конструкция пирамида (по-конкретно weight-biased leftist heap).