News
21. January: corrected typo
On January 6, a typo in types Example 2.2 (Line 5) has been corrected. (For those who printed the PDF earlier.)
6. October: moved office hours
see lecturers.php
25. September: Lecture-Registration
Starting from this semester, online-registration for the lecture is required.
10. August: Haskell
Starting from this semester, Haskell is used instead of OCaml.
