2016-12-07: Announced the exercises for the seventh tutorial.
2016-12-05: Added an internal implementation of coding—the expression code from the lecture notes—to the χ wrapper module (documentation). Feel free to play around with it.
2016-12-01: Announced the sixth assignment.
2016-12-01: A second student representative has been appointed.
2016-11-30: Announced the exercises for the sixth tutorial.
2016-11-25: Tweaked the formulation of the fifth assignment's last exercise to match the presentation in the lecture on Monday.
2016-11-24: Announced the fifth assignment.
2016-11-24: One of the student representatives has resigned. Volunteers are welcome.
2016-11-23: Announced the exercises for the fifth tutorial.
2016-11-16: Announced the fourth assignment and the exercises for the fourth tutorial. Note that the third assignment's wrapper module has been extended with a procedure for testing internal substitution.
2016-11-14: Modified Section 2 of The language χ, as mentioned in the lecture today.
2016-11-11: Modified The language χ again, and made a related change to the third assignment.
The evaluation strategy has been switched from call-by-name to call-by-value. If you have already started on the third assignment, then you can continue using the old semantics, if you prefer that.
2016-11-09: Announced the third assignment and the exercises for the third tutorial.
2016-11-04: The student representatives have been announced.
2016-11-01: Modified The language χ.