added temps

[lambda.git] / assignment3.mdwn

diff --git a/assignment3.mdwn b/assignment3.mdwn
index f89f501..4e3c4f3 100644 (file)
--- a/assignment3.mdwn
+++ b/assignment3.mdwn
@@ -62,13 +62,12 @@ intensive).
 same length.  That is,
 
      listLenEq mylist (makeList meh (makeList meh (makeList meh nil))) ~~> true
+
      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: