(no commit message)

diff --git a/topics/_week5_simply_typed_lambda.mdwn b/topics/_week5_simply_typed_lambda.mdwn
index e15a34d..047ee8b 100644 (file)
--- 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