From 861a275d5267b60e23de37437e5ad7a7612986c7 Mon Sep 17 00:00:00 2001 From: Jim Pryor Date: Wed, 15 Sep 2010 21:11:22 -0400 Subject: [PATCH] week1: tweaks Signed-off-by: Jim Pryor --- week1.mdwn | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/week1.mdwn b/week1.mdwn index 48784ca9..329333cb 100644 --- a/week1.mdwn +++ b/week1.mdwn @@ -61,7 +61,7 @@ Some authors reserve the term "term" for just variables and abstracts. We won't Samples of expressions:  - foo +> foo The *lambda* calculus has an associated proof theory. For now, we can regard the proof theory as having just one rule, called the rule of **beta-reduction** or "beta-contraction". Suppose you have some expression of the form: -- 2.11.0