From f0c750e3d711ce8edf23a47b2040be55a8212c20 Mon Sep 17 00:00:00 2001 From: Jim Date: Sun, 1 Feb 2015 02:53:21 -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 45fb42fe..90ebbf1e 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