From: jim <jim@web>
Date: Thu, 12 Feb 2015 18:07:49 +0000 (-0500)
Subject: add anchors
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=78be35a1a13e17219773f38a219144ef7172c745

add anchors
---

diff --git a/topics/week3_lists.mdwn b/topics/week3_lists.mdwn
index 6f7c1e0f..08b35162 100644
--- a/topics/week3_lists.mdwn
+++ b/topics/week3_lists.mdwn
@@ -1,5 +1,6 @@
 # More on Lists #
 
+<a id=comprehensions></a>
 ## Comprehensions ##
 
 We know you are already familiar with the following kind of notation for designating sets:
@@ -119,6 +120,8 @@ not to:
 To get the latter, you'd need to apply `join` twice.
 
 
+
+<a id=tails></a>
 ## Tails ##
 
 For the Lambda Calculus, we've proposed to encode lists in terms of higher-order functions that perform right-folds on (what we intuitively regard as) the real list. Thus, the list we'd write in Kapulet or Haskell as:
@@ -151,3 +154,5 @@ Try it out in the lambda evaluator. After the code above, you can write:
 
 and the result will be `\f z. f b (f c z)`, our encoding of `[b, c]`.
 
+
+<a id=v2-lists></a>