WESTF ˜ ALISCHE
LEHR UND FORSCHUNGSGEBIET
RWTH Aachen · D52056 Aachen · GERMANY
Prof. Dr. J˜ urgen Giesl
Exercises Functional Programming -- Sheet 12
Solutions will be collected until Wednesday, January 27, 2010 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 + 2 = 4 points), not needed for computer science
In the lecture, fix was translated into the following pure lambdaterm: