X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=week4.mdwn;h=6613fb407220e8beac7532e117cc902bb5834a81;hp=8fe37ad2be182d92c8cc1298794ced2cc6a99b9d;hb=9b65b6793ba00e0b9f42a5851f0b5185623abae8;hpb=c3998b2b5a85bd4b5a47c1b2518739fe9948807f
diff --git a/week4.mdwn b/week4.mdwn
index 8fe37ad2..6613fb40 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 &Lamda;_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,