X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=assignment8.mdwn;h=76eff65b16b46e231c37cc2cd7f6f4a2d4d381e5;hp=fe9a87c4f6031021e3bd7415af5e5bbe69e5f910;hb=ee2491d3ad0f3e573c055dac057bb65daa7d3eed;hpb=a3825219f85a2f0ff02ef5edc1fb6504eec634f2

diff --git a/assignment8.mdwn b/assignment8.mdwn
index fe9a87c4..76eff65b 100644
--- a/assignment8.mdwn
+++ b/assignment8.mdwn
@@ -83,17 +83,17 @@
 	Some other Scheme details:
 
 	*	`#t` is true and `#f` is false
+	*	`(lambda () ...)` constructs a thunk
 	*	`'(1 . 2)` and `(cons 1 2)` are pairs (the same pair)
 	*	`(list)` and `'()` both evaluate to the empty list
 	*	`(null? lst)` tests whether `lst` is the empty list
 	*	non-empty lists are implemented as pairs whose second member is a list
 	*	`'()` `'(1)` `'(1 2)` `'(1 2 3)` are all lists
-	*	`(list)` `(list1)` `(list 1 2)` `(list 1 2 3)` are the same lists
-	*	`'(1 2 3)` and `(cons 1 '(2 3))` are pairs that are also lists (the same list)
+	*	`(list)` `(list 1)` `(list 1 2)` `(list 1 2 3)` are the same lists
+	*	`'(1 2 3)` and `(cons 1 '(2 3))` are both pairs and lists (the same list)
 	*	`(pair? lst)` tests whether `lst` is a pair; if `lst` is a non-empty list, it will also pass this test; if `lst` fails this test, it may be because `lst` is the empty list, or because it's not a list or pair at all
 	*	`(car lst)` extracts the first member of a pair / head of a list
 	*	`(cdr lst)` extracts the second member of a pair / tail of a list
-	*	`(lambda () ...)` constructs a thunk
 
 	Here is the implementation: