Correction re: Exams

I had given you false information about the grading method for this module. I had said that you must take an exam (Klausur) in this course, and that you can choose one of the other two courses to write a paper (Hausarbeit) for. This is wrong. The truth is that you must take an exam and write a paper for two of the three courses in the module. But it is up to you to decide which course you want to write the paper for, which you want to take the exam in, and which you do not want to be graded for at all.

Types and type classes

The world seems to be divided up into things, but not all things are interchangable.

Course Information

This course will be held online (here, on this blog) for the Summer Semester 2020 (or at least until they tell us we can meet in person).