From 00ca9d64a3e95f9163545be1e0ae7845298a10c2 Mon Sep 17 00:00:00 2001 From: Jim Pryor Date: Tue, 14 Sep 2010 11:49:44 -0400 Subject: [PATCH 1/1] more2 assignment1 tweaks Signed-off-by: Jim Pryor --- assignment1.mdwn | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/assignment1.mdwn b/assignment1.mdwn index a8981cf2..7568717d 100644 --- a/assignment1.mdwn +++ b/assignment1.mdwn @@ -1,7 +1,7 @@ Reduction --------- -Find "normal forms" for the following---that is, reduce them until no more reductions are possible. We'll write λ`x` as `\x`. +Find "normal forms" for the following---that is, reduce them until no more reductions are possible. We'll write λx as `\x`. 1. `(\x \y. y x) z` 2. `(\x (x x)) z` -- 2.11.0