![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/blank.png){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[TXT]](/icons/tex.png){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[TXT]](/~oc45ujef/.img/h.png)
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| agda/ | 2024-10-09 20:53 | - | Material zur inoffiziellen Agda-Einführung |
| abgabe-template.tex | 2024-04-24 19:04 | 1.8K | Vorlage zur Abgabe von Hausaufgaben |
| probeklausur.pdf | 2024-10-08 16:10 | 350K | Mein Lösungsvorschlag zur Probeklausur |
| lambda.pdf | 2024-07-15 13:49 | 35K | Definitionen zum Lambda-Kalkül |
| church.hs | 2024-07-11 11:28 | 1.1K | |
Da wir unsere Übungstermine tauschen, wird die Übung am Donnerstag von Lea gehalten. Ich werde stattdessen die Übung am Montag um halten.
Aufgrund des Feiertags fällt die Übung 5 nächste Woche () aus. Verteilt euch bitte auf die anderen Übungen.
Nächste Woche gibt es aufgrund der Bergkirchweih keine Präsenzaufgaben. Die Übung () nutze ich deshalb für eine weiter Einführung in Agda. Wer kommen will ist herzlich eingeladen.
Nachdem sich doch ein bis zwei Interessenten gefunden haben, werde ich ab jetzt immer ab 8:15 bis 8:30 kleine Einführungen in Agda halten
Aufgrund des Feiertags fällt die Übung 5 nächste Woche () aus. Verteilt euch bitte auf die anderen Übungen.
Ab findet die Übung von 8:30 bis 10:00 statt.
Mit ⍟ markierte Einträge verweisen auf fortgeschrittenes Material, sind für Interessierte aber dennoch empfehlenswert.
