![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/blank.png){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[TXT]](/~oc45ujef/.img/h.png)
![[ ]](/icons/layout.gif){kind=icon}
![[TXT]](/icons/tex.png){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| agda/ | 2024-10-09 20:53 | - | Material zur inoffiziellen Agda-Einführung |
| church.hs | 2024-07-11 11:28 | 1.1K | |
| lambda.pdf | 2024-07-15 13:49 | 35K | Definitionen zum Lambda-Kalkül |
| probeklausur.pdf | 2024-10-08 16:10 | 350K | Mein Lösungsvorschlag zur Probeklausur |
| abgabe-template.tex | 2024-04-24 19:04 | 1.8K | Vorlage zur Abgabe von Hausaufgaben |
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.
