Merge branch 'master' of ssh://server.philosophy.fas.nyu.edu/Users/lambda/lambda

[lambda.git] / assignment3.mdwn

diff --git a/assignment3.mdwn b/assignment3.mdwn
index 013bc3c..4e3c4f3 100644 (file)
--- a/assignment3.mdwn
+++ b/assignment3.mdwn
@@ -66,10 +66,8 @@ same length.  That is,
      listLenEq mylist (makeList meh (makeList meh nil))) ~~> false
 
 
      listLenEq mylist (makeList meh (makeList meh nil))) ~~> false
 
 

-4. Now write the same function (true iff two lists have the same
-length) but don't use the length function (hint: use `leq` as a model).
+4. Now write the same function, but don't use the length function (hint: use `leq` as a model).

 
 

-   That is, (makeList 1 (makeList 2 (makeList 3 nil))) 

 
 [The following should be correct, but won't run in my browser:
 
 
 [The following should be correct, but won't run in my browser: