X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=week3.mdwn;h=39e472bf9a644c1bdac774790ed134f26ab7cf31;hp=15af3e5b343a5251202e9a281212db63525307d7;hb=d87dfc39a8e07e6005a1d63fff242ae4d38fb4a8;hpb=a26ccd202e5952976a077e3802c176ff477cd225 diff --git a/week3.mdwn b/week3.mdwn index 15af3e5b..39e472bf 100644 --- a/week3.mdwn +++ b/week3.mdwn @@ -2,7 +2,7 @@ ##More on evaluation strategies## -Here are notes on [evaluation order] that make the choice of which +Here are notes on [[evaluation order]] that make the choice of which lambda to reduce next the selection of a route through a network of links. @@ -424,7 +424,7 @@ to *the tail* of the list we were evaluating its application to at the previous ##Fixed-point Combinators Are a Bit Intoxicating## -![tatoo](/y-combinator.jpg) +![tatoo](/y-combinator-fixed.jpg) There's a tendency for people to say "Y-combinator" to refer to fixed-point combinators generally. We'll probably fall into that usage ourselves. Speaking correctly, though, the Y-combinator is only one of many fixed-point combinators.