projects / lambda.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from parent 1: 70fdac4)
(no commit message)
authorbarker <barker@web>
Mon, 20 Sep 2010 17:48:31 +0000 (13:48 -0400)
committerLambda Wiki <lambda@SERVER.PHILOSOPHY.FAS.NYU.EDU>
Mon, 20 Sep 2010 17:48:31 +0000 (13:48 -0400)
assignment2.mdwn patch | blob | history

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`
NYU Lambda Wiki v2