edits
authorChris Barker <barker@kappa.(none)>
Sun, 3 Oct 2010 00:59:21 +0000 (20:59 -0400)
committerChris Barker <barker@kappa.(none)>
Sun, 3 Oct 2010 00:59:21 +0000 (20:59 -0400)
week4.mdwn

index 8fe37ad..6613fb4 100644 (file)
@@ -217,7 +217,7 @@ and so on.
 
 #Typed lambda terms#
 
 
 #Typed lambda terms#
 
-Given a set of types `T`, we define the set of typed lambda terms <code>&Lamda;_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,
 which is the smallest set such that
 
 *    each type `t` has an infinite set of distinct variables, {x^t}_1,