The lecture notes can be obtained on paper through the usual channels,
and electronically on this page. There are two electronic versions, one on A4 and on B5 (the latter for
e-readers). Students who already own the lecture notes of last year need only
download the additional chapter on Lazy Evaluation (also given below). If there are any other changes,
these are minor. (Thank you, Doaitse, for your work on adding this chapter to the new version).