(no commit message)

[lambda.git] / assignment2.mdwn

diff --git a/assignment2.mdwn b/assignment2.mdwn
index 85ec6ce..8402e7c 100644 (file)
--- a/assignment2.mdwn
+++ b/assignment2.mdwn
@@ -53,7 +53,7 @@ Reduce the following forms, if possible:
 Using the mapping specified in the lecture notes,
 translate the following lambda terms into combinatory logic:
 
-<OL start=24>
+<OL start=23>
 <LI> `\x.x`
 <LI> `\xy.x`
 <LI> `\xy.y`