WESTF ˜ ALISCHE
LEHR UND FORSCHUNGSGEBIET
RWTH Aachen · D52056 Aachen · GERMANY
Prof. Dr. J˜ urgen Giesl
Exercises Functional Programming -- Sheet 7
Solutions will be collected until Wednesday, December 9, 2009 at the beginning
of the exercise course. Exercises can be solved both in English and in German.
Please hand in your solutions on paper in groups of 2 or 3 students.
Exercise 1 (2 points), all students
Let D 1 , D 2 , and D 3 be domains with complete orders # 1 , # 2 , # 3 , respectively. Let
f : D 1 # D 2 and g : D 2 # D 3 be continuous functions. Show that the composition