From aab06ee4eafe7ac322521e4cef1b1704a9258900 Mon Sep 17 00:00:00 2001 From: Chris Barker Date: Thu, 9 Jun 2011 17:25:00 -0400 Subject: [PATCH] changes --- cps.mdwn | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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 +
    [MN] = \k.(\m.mk)
     = \k.[M](\m.[N](\n.mnk))
-
+
Thinking through the types -------------------------- -- 2.11.0