add #other-lists
authorjim <jim@web>
Sun, 15 Feb 2015 16:16:49 +0000 (11:16 -0500)
committerLinux User <ikiwiki@localhost.members.linode.com>
Sun, 15 Feb 2015 16:16:49 +0000 (11:16 -0500)
topics/week3_lists.mdwn

index 93ffc6a..fca0e5b 100644 (file)
@@ -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).)
 
 
 (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.
 ## 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.