From 3af15277e1a4116c0eb3025f371e0a9a9417ebc9 Mon Sep 17 00:00:00 2001
From: Chris Barker
Date: Sat, 2 Oct 2010 21:00:13 -0400
Subject: [PATCH] edits
---
week4.mdwn | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
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 `Λ_T`

,
+Given a set of types `T`, we define the set of typed lambda terms `Λ~T~`

,
which is the smallest set such that
* each type `t` has an infinite set of distinct variables, {x^t}_1,
--
2.11.0