From 7639bf698dfcd2b32513aefcec078b0f6fae0292 Mon Sep 17 00:00:00 2001 From: barker Date: Mon, 20 Sep 2010 13:48:31 -0400 Subject: [PATCH 1/1] --- assignment2.mdwn | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/assignment2.mdwn b/assignment2.mdwn index 85ec6ce7..8402e7ca 100644 --- a/assignment2.mdwn +++ b/assignment2.mdwn @@ -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: -
    +
    1. `\x.x`
    2. `\xy.x`
    3. `\xy.y` -- 2.11.0