X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=cps.mdwn;h=a9842d12bb2d05cd19b462e376dbc9d6bc12863b;hp=259f412ebcdec5c3fb18fdd033db683b35c63cf1;hb=aab06ee4eafe7ac322521e4cef1b1704a9258900;hpb=260cb10c9b6fab43f660ccaaf709418cd66fdc50;ds=sidebyside

diff --git a/cps.mdwn b/cps.mdwn
index 259f412e..a9842d12 100644
--- a/cps.mdwn
+++ b/cps.mdwn
@@ -156,14 +156,15 @@ CPS-xformed lambda term.  You can use the following data declaration:
 
 3. What happens (in terms of evaluation order) when the application
 rule for CBN CPS is changed to `[MN] = \k.[N](\n.[M]nk)`?  Likewise,
-What happens when the application rule for CBV CPS is changed to `<MN>
-= \k.[N](\n.[M](\m.mnk))`?
+What happens when the application rule for CBV CPS is changed to 
+`<MN> = \k.<N>(\n.<M>(\m.mnk))`?
 
 4. What happens when the application rules for the CPS xforms are changed to
 
-    [MN] = \k.<M>(\m.m<N>k)
-    <MN> = \k.[M](\m.[N](\n.mnk))
-
+<pre>
+   [MN] = \k.<M>(\m.m<N>k)
+   <MN> = \k.[M](\m.[N](\n.mnk))
+</pre>
 
 Thinking through the types
 --------------------------