changes

diff --git a/cps.mdwn b/cps.mdwn
index e1f7f58..a9842d1 100644 (file)
--- a/cps.mdwn
+++ b/cps.mdwn
@@ -161,9 +161,10 @@ What happens when the application rule for CBV CPS is changed to
 
 4. What happens when the application rules for the CPS xforms are changed to
 
 
 4. What happens when the application rules for the CPS xforms are changed to
 

+<pre>

    [MN] = \k.<M>(\m.m<N>k)
    <MN> = \k.[M](\m.[N](\n.mnk))
    [MN] = \k.<M>(\m.m<N>k)
    <MN> = \k.[M](\m.[N](\n.mnk))

-
+</pre>

 
 Thinking through the types
 --------------------------
 
 Thinking through the types
 --------------------------