edits

[lambda.git] / topics / _week15_continuation_applications.mdwn

diff --git a/topics/_week15_continuation_applications.mdwn b/topics/_week15_continuation_applications.mdwn
index ffe10ba..d13efa7 100644 (file)
--- a/topics/_week15_continuation_applications.mdwn
+++ b/topics/_week15_continuation_applications.mdwn
@@ -312,12 +312,12 @@ separating a box into two regions, the payload and the hidden scratch
 space:
 
 <pre>
-    _______________               _______________           _______________ 
+    _______________               _______________            _______________ 
     | [x->2, y->3] |             | [x->2, y->3] |          | [x->2, y->3] |
   -------------------           ------------------        ------------------
     |              |     ¢        |              |    =     |              |
-    |    +2        |             |     y        |          |     5        |
-    |______________|             |______________|          |______________|
+    |    +2        |             |     y        |          |     5        |
+    |______________|             |______________|          |______________|
 </pre>
 
 For people who are familiar with Discourse Representation Theory (Kamp