X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=hints%2Fcps_hint_2.mdwn;h=d948a28001349e9e40a4983bbdca61b0a0a7fe77;hp=2cdc49ae1beda57a423d960ce4c28ef999bd3e6f;hb=8cf1fe240800a66d644f907fad8d618b014efd7d;hpb=4fde59e8440a11db16396496648d9b53fe055670 diff --git a/hints/cps_hint_2.mdwn b/hints/cps_hint_2.mdwn index 2cdc49ae..d948a280 100644 --- a/hints/cps_hint_2.mdwn +++ b/hints/cps_hint_2.mdwn @@ -19,10 +19,10 @@ This function is developed in *The Seasoned Schemer* pp. 76-83. It accepts a lis (aux (cdr l)))]))]) (aux lst))))) - (beta '(((a b) ()) (c (d ())))) ; ~~> 'a - (beta '((() (a b) ()) (c (d ())))) ; ~~> 'a + (beta '(((a b) ()) (c (d ())))) ; ~~> 'a + (beta '((() (a b) ()) (c (d ())))) ; ~~> 'a (beta '(() (() (a b) ()) (c (d ())))) ; ~~> 'a - (beta '(() (() ()))) ; no leftmost atom, returns '() + (beta '(() (() ()))) ; no leftmost atom, returns '() This function could also be written like this: