X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=week5.mdwn;h=3eed60e476a7595bb4a71af863a9f23ff750aa97;hp=a13c55ed9fe3b764c6d4cae8366eac06dd96654f;hb=aa056fb83840d1a281992dc6e7db351cc513e681;hpb=bcc92bf29fae7f7c1423a3903dfce5ac07b97147

diff --git a/week5.mdwn b/week5.mdwn
index a13c55ed..3eed60e4 100644
--- a/week5.mdwn
+++ b/week5.mdwn
@@ -2,7 +2,7 @@
 
 ##The simply-typed lambda calculus##
 
-The uptyped lambda calculus is pure computation.  It is much more
+The untyped lambda calculus is pure computation.  It is much more
 common, however, for practical programming languages to be typed.
 Likewise, systems used to investigate philosophical or linguistic
 issues are almost always typed.  Types will help us reason about our