From: Chris Barker <barker@kappa.(none)>
Date: Sun, 3 Oct 2010 01:00:13 +0000 (-0400)
Subject: edits
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=3af15277e1a4116c0eb3025f371e0a9a9417ebc9

edits
---

diff --git a/week4.mdwn b/week4.mdwn
index 6613fb40..1f52cf3b 100644
--- a/week4.mdwn
+++ b/week4.mdwn
@@ -217,7 +217,7 @@ and so on.
 
 #Typed lambda terms#
 
-Given a set of types `T`, we define the set of typed lambda terms <code>&Lambda;_T</code>,
+Given a set of types `T`, we define the set of typed lambda terms <code>&Lambda;~T~</code>,
 which is the smallest set such that
 
 *    each type `t` has an infinite set of distinct variables, {x^t}_1,