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=0a6cb8dd4a9460b13006f75f6a5b84d434aba212

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