X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=topics%2F_week5_simply_typed_lambda.mdwn;h=047ee8b368a8a6f62c3111031a3b59d4ba06c559;hp=e15a34d8833c54a7942005aea9f834570acce2db;hb=a4d2693effe839524592f4427465ff8d97625302;hpb=afd5e8a2bbf0e38016e57652115230219d501782

diff --git a/topics/_week5_simply_typed_lambda.mdwn b/topics/_week5_simply_typed_lambda.mdwn
index e15a34d8..047ee8b3 100644
--- a/topics/_week5_simply_typed_lambda.mdwn
+++ b/topics/_week5_simply_typed_lambda.mdwn
@@ -302,8 +302,7 @@ functional application and for lambda abstracts:
 * If *&alpha;* is an expression of type *<a, b>*, and *&beta;* is an
 expression of type b, then *&alpha;(&beta;)* has type *b*.  
 
-* If &alpha;* is an expression of type *a*, and *u* is a variable of
-*type b*, then *&lambda;u&alpha;* has type <code><b, a></code>.
+* If *&alpha;* is an expression of type *a*, and *u* is a variable of type *b*, then *&lambda;u&alpha;* has type <code><b, a></code>.
 
 When we talk about monads, we will consider Montague's treatment of
 intensionality in some detail.  In the meantime, Montague's PTQ is