| | |
Summary: RHEINISCH
WESTF ˜ ALISCHE
TECHNISCHE
HOCHSCHULE
AACHEN
LEHR UND FORSCHUNGSGEBIET
INFORMATIK 2
RWTH Aachen · D52056 Aachen · GERMANY
http://verify.rwthaachen.de/fp09/
LuFG
Informatik II
Prof. Dr. J˜ urgen Giesl
Carsten Fuhs
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
Master studies
In the lecture, fix was translated into the following pure lambdaterm:
|