From: Jim Pryor <profjim@jimpryor.net>
Date: Tue, 14 Dec 2010 11:42:00 +0000 (-0500)
Subject: cps tweaks
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=d406ca1da0d732706d6e9b13ed3cb06022e32735

cps tweaks

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
---

diff --git a/cps_and_continuation_operators.mdwn b/cps_and_continuation_operators.mdwn
index b1f6c69d..2c3f3560 100644
--- a/cps_and_continuation_operators.mdwn
+++ b/cps_and_continuation_operators.mdwn
@@ -272,7 +272,7 @@ The third example is more difficult to make work with the monadic library, becau
 
 	# C.(run0 (callcc (fun k -> unit (1,`Box k)) >>= fun (p1,`Box p2) -> p2 (2,`Box unit) >>= fun p2' -> unit (p1,p2')));;
 	- : int * (int * [ `Box of 'b -> ('a, 'b) C.m ] as 'b) as 'a =
-(2, (2, `Box <fun>))
+	(2, (2, `Box <fun>))
 
 <!-- FIXME -->