X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=cps.mdwn;h=a9842d12bb2d05cd19b462e376dbc9d6bc12863b;hp=e1f7f58754ff5578a314c8c6f48c1a865a2a563c;hb=aab06ee4eafe7ac322521e4cef1b1704a9258900;hpb=148ffe89f0869ef1e94733dd1fb0efb16f9f34ed

diff --git a/cps.mdwn b/cps.mdwn
index e1f7f587..a9842d12 100644
--- 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
 
+<pre>
    [MN] = \k.<M>(\m.m<N>k)
    <MN> = \k.[M](\m.[N](\n.mnk))
-
+</pre>
 
 Thinking through the types
 --------------------------