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