X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=topics%2Fweek3_lists.mdwn;h=fca0e5b2687faca0cb2a164569100c87c85befe1;hp=93ffc6abd365ea42c7f5a56f6061aefe31706a0f;hb=9e15f69e42cadaeb38e649ca13a121a7576c0e4d;hpb=cf47b681e8122071a2937801426490d7f34b7fda 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).) + ## 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.