From 2f03b3ed16fa348cc0bfb455323a63405562801b Mon Sep 17 00:00:00 2001 From: Jim Date: Sun, 1 Feb 2015 02:53:01 -0500 Subject: [PATCH] update week1 notes --- week1.mdwn | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/week1.mdwn b/week1.mdwn index a419c877..45fb42fe 100644 --- a/week1.mdwn +++ b/week1.mdwn @@ -560,7 +560,7 @@ It may be helpful to contrast these recursive-style definitons to the way one wo   `empty? match` λ `xs.` *this definition left as an exercise*;   `tail match` λ `xs.` *this definition left as an exercise*;   `length match` λ `xs. let` -              `n := 0;` +                                   `n := 0;`               `while not (empty? xs) do`                 `n := n + 1;`                 `xs := tail xs` -- 2.11.0