X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=week1.mdwn;h=45fb42fe62a7619f197caa138ba3363e40df443a;hp=a419c877e5a96a5f1e91ef3b114d48aad37d1a14;hb=2f03b3ed16fa348cc0bfb455323a63405562801b;hpb=c6aa6ab0a05bdf464373ee31cb8cd93285079ca7 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`