X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=topics%2Fweek1.mdwn;h=4e1f0ddaca7f39968d1adfc60956289968cbeaf1;hp=82e1fa63b3f944c2b59cd780f1ea994386092cb5;hb=79cec6a35353e38753e06837b4613b729dce9e8c;hpb=d7dd23c2ace59bf557f247e57fe75190a4d1e798

diff --git a/topics/week1.mdwn b/topics/week1.mdwn
index 82e1fa63..4e1f0dda 100644
--- a/topics/week1.mdwn
+++ b/topics/week1.mdwn
@@ -383,7 +383,7 @@ is a pattern, meaning the same as `x1 & x2 & []`. Note that while `x & xs` match
 For the time being, these are the only patterns we'll allow. But since the definition of patterns is recursive, this permits very complex patterns. What would this evaluate to:
 
     let
-      ([xs, ys], [z:zs, ws]) match ([[], [1]], [[10, 20, 30], [0]])
+      ([xs, ys], [z & zs, ws]) match ([[], [1]], [[10, 20, 30], [0]])
     in z & ys
 
 Also, we will permit complex patterns in λ-expressions, too. So you can write: