@@ -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.