Neuigkeiten
21. Januar: Fehler ausgebessert
Am 6. Januar wurde ein Fehler in types Beispiel 2.2 (Zeile 5) ausgebessert. (Für die, die das PDF vorher ausgedruckt haben.)
6. Oktober: Sprechstunde verschoben
siehe lecturers.php
25. September: VO-Anmeldung
Ab diesem Semester ist eine Online-Anmeldung für die VO notwendig.
10. August: Haskell
Ab diesem Semester wird in der Vorlesung Haskell an Stelle von OCaml verwendet.