index 85ec6ce..5d75a85 100644 (file)
@@ -1,4 +1,4 @@
-For these assignments, you'll probably want to use a "lambda calculator" to check your work. This accepts any grammatical lambda expression and reduces it to normal form, when possible. See the page on [[using the programming languages]] for instructions and links about setting this up.
+For these assignments, you'll probably want to use our [[lambda evaluator]] to check your work. This accepts any grammatical lambda expression and reduces it to normal form, when possible.

More Lambda Practice
@@ -53,7 +53,7 @@ Reduce the following forms, if possible:
Using the mapping specified in the lecture notes,
translate the following lambda terms into combinatory logic:

-<OL start=24>
+<OL start=23>
<LI> `\x.x`
<LI> `\xy.x`
<LI> `\xy.y`
@@ -107,7 +107,7 @@ For these exercises, assume that `LIST` is the result of evaluating:

<OL start=16>
-<LI>What would be the result of evaluating (see [[Assignment 2 hint 1]] for a hint):
+<LI>What would be the result of evaluating (see [[hints/Assignment 2 hint]] for a hint):

LIST make-list empty