From: jim <jim@web>
Date: Sun, 15 Feb 2015 16:16:49 +0000 (-0500)
Subject: add #other-lists
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=368f8b9718dde4cd31e1c39015accaf08a011aff

add #other-lists
---

diff --git a/topics/week3_lists.mdwn b/topics/week3_lists.mdwn
index 93ffc6ab..fca0e5b2 100644
--- a/topics/week3_lists.mdwn
+++ b/topics/week3_lists.mdwn
@@ -179,6 +179,7 @@ With this encoding scheme, each list would be represented by a somewhat more com
 (Oleg discusses making a parallel refinement in the encoding of numbers [here](http://okmij.org/ftp/Computation/lambda-calc.html#p-numerals).)
 
 
+<a id=other-lists></a>
 ## Other Encoding Strategies for Lists ##
 
 If you're keeping track, we've now seen three different encoding strategies for lists: in terms of their right-folds, their left-folds, and the somewhat more complex right-fold encoding just discussed.