From ee2491d3ad0f3e573c055dac057bb65daa7d3eed Mon Sep 17 00:00:00 2001
From: Jim Pryor
Date: Fri, 26 Nov 2010 23:48:14 -0500
Subject: [PATCH] assign8 tweaks
Signed-off-by: Jim Pryor
---
assignment8.mdwn | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
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:
--
2.11.0