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;ds=sidebyside

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