X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=week1.mdwn;h=3984eec33b4791231beb31faa471e9b87070374e;hp=45fb42fe62a7619f197caa138ba3363e40df443a;hb=40b8315f0c5506bf72fd6dab493ad3560817d002;hpb=2f03b3ed16fa348cc0bfb455323a63405562801b diff --git a/week1.mdwn b/week1.mdwn index 45fb42fe..3984eec3 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`