X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=rosetta1.mdwn;h=5d3868ab6b61cb9ce23553d841774a08d8109e2d;hp=1c42a1337c03686ed227e190918aa44a86ffa57b;hb=67cb14b0d6067d3024d34c8e72febd07b8f33b3f;hpb=26c8d6da76887c3756f2ce856b03f490945814c0

diff --git a/rosetta1.mdwn b/rosetta1.mdwn
index 1c42a133..5d3868ab 100644
--- a/rosetta1.mdwn
+++ b/rosetta1.mdwn
@@ -215,7 +215,7 @@ Fourth, in Kapulet, `( - 10)` expresses λ `x. x - 10` (consistently with
     ( - 2)         # ( - 2) 10 == 8
     (0 - )
     ( - ) (5, 3)
-    
+
 
 and here are their translations into natural Haskell:
 
@@ -517,6 +517,7 @@ Note there is no closing `end` or `}`. You can enclose the whole expression in p
       | 1 -> result1
       | x -> resultx
 
+<a id=as-patterns></a>
 The syntax for [[guards|topics/week1_kapulet_advanced#guards]] and [[as-patterns|topics/week1_kapulet_advanced#as-patterns]] also only varies slightly between these languages:
 
     # Kapulet
@@ -779,7 +780,7 @@ Notice that this form ends with `end`, not with `in result`. The above is roughl
       pat1  match expr1;
       ...
     in ... # rest of program or library
-    
+
 That is, the bindings initiated by the clauses of the `let` construction remain in effect until the end of the program or library. They can of course be "hidden" by subsequent bindings to new variables spelled the same way. The program:
 
     # Kapulet