-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
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`