From 148ffe89f0869ef1e94733dd1fb0efb16f9f34ed Mon Sep 17 00:00:00 2001 From: Chris Barker Date: Thu, 9 Jun 2011 17:24:19 -0400 Subject: [PATCH] changes --- cps.mdwn | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/cps.mdwn b/cps.mdwn index 259f412e..e1f7f587 100644 --- a/cps.mdwn +++ b/cps.mdwn @@ -156,13 +156,13 @@ 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 ` -= \k.[N](\n.[M](\m.mnk))`? +What happens when the application rule for CBV CPS is changed to +` = \k.(\n.(\m.mnk))`? 4. What happens when the application rules for the CPS xforms are changed to - [MN] = \k.(\m.mk) - = \k.[M](\m.[N](\n.mnk)) + [MN] = \k.(\m.mk) + = \k.[M](\m.[N](\n.mnk)) Thinking through the types -- 2.11.0