From: Chris Barker Date: Sat, 27 Nov 2010 04:46:49 +0000 (-0500) Subject: Merge branch 'master' of ssh://server.philosophy.fas.nyu.edu/Users/lambda/lambda X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=fa335a201b26e6100c34f4f178bc10cd3249220f;hp=aeec785e1d00c613973b4912d4b0f510954491ec Merge branch 'master' of ssh://server.philosophy.fas.nyu.edu/Users/lambda/lambda --- 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: