(no commit message)
authorchris <chris@web>
Sun, 8 Mar 2015 18:37:59 +0000 (14:37 -0400)
committerLinux User <ikiwiki@localhost.members.linode.com>
Sun, 8 Mar 2015 18:37:59 +0000 (14:37 -0400)
topics/_week7_eval_cl.mdwn

index 09a480b..2815817 100644 (file)
@@ -153,7 +153,7 @@ processing.  But just in case the result of the one-step reduction is
 itself a redex, we recursively call `reduce1`.  The recursion will
 continue until the result is no longer a redex.
 
-    #trace reduce1;;
+    # #trace reduce1;;
     reduce1 is now traced.
     # reduce1 (FA (I, FA (I, K)));;
     reduce1 <-- FA (I, FA (I, K))