Kursus
Märkus: Kodutöid pole soovitatav ette ära teha. Kodutööde ülesanded, mis pole veel lahendamiseks välja andtud, võivad muutuda -- need on lihtsalt kopeeritud siia eelmise aasta materjalidest.
| # | Nädal | Teema-video(d) (test, uus konspekti osa) | Loeng | Praks |
|---|---|---|---|---|
| 0 | - | - | - | installimine |
| 1 | 04.09 | süntaks (test, IdrisBase) | slaidid, idr, panopto | kodutöö 1 |
| 2 | 11.09 | λ-arvutus, rekursioon (test, LambdaBase) | slaidid, panopto | kodutöö 2 |
| 3 | 18.09 | substitutsioon, listikomprehensioon (test) | panopto | kodutöö 3 |
| 4 | 25.09 | reduktsioon, kõrgemat-järku fun. (test, HigherOrder) | idr, panopto | kodutöö 4 |
| 5 | 02.10 | andmestruktuurid Idrises ja {$\lambda$}-arvutuses (test, NewTypes) | idr, panopto | kodutöö 5 |
| 6 | 9.10 | liidesed (test, Interfaces) | slaidid, idr, panopto | kodutöö 6 |
| 7 | 16.10 | - | slaidid, idr, panopto | kodutöö 7 |
| 8 | 23.10 | laiskus (test, Lazy) | slaidid, idr, panopto | Kontrolltöö 1 |
| 9 | 30.10 | sisend-väljund (test, IO) | slaidid, idr, panopto | kodutöö 8 |
| 10 | 06.11 | lihtsalt tüübitud λ-arvutus (test, SimpleTypes) | slaidid, idr, panopto | kodutöö 9 |
| 11 | 13.11 | tüübituletus (test, TypeInference) | slaidid, idr, panopto | kodutöö 10 |
| 12 | 20.11 | sõltuvad tüübid (test, IdrisDep) | slaidid, idr, panopto |