From 59f7f1a5848dc8acd95120dc42741afeaf021213 Mon Sep 17 00:00:00 2001 From: chris Date: Sun, 8 Mar 2015 14:37:59 -0400 Subject: [PATCH] --- topics/_week7_eval_cl.mdwn | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/topics/_week7_eval_cl.mdwn b/topics/_week7_eval_cl.mdwn index 09a480b6..28158170 100644 --- a/topics/_week7_eval_cl.mdwn +++ b/topics/_week7_eval_cl.mdwn @@ -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)) -- 2.11.0