X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=week3.mdwn;h=15af3e5b343a5251202e9a281212db63525307d7;hp=e8a86e90bbc180f69d98d3af58680b40e2edf143;hb=a26ccd202e5952976a077e3802c176ff477cd225;hpb=daf4849794acb02a9d5393f2da7574b3e1d28cf1

diff --git a/week3.mdwn b/week3.mdwn
index e8a86e90..15af3e5b 100644
--- a/week3.mdwn
+++ b/week3.mdwn
@@ -1,3 +1,12 @@
+[[!toc]]
+
+##More on evaluation strategies##
+
+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.
+
+
 ##Computing the length of a list##
 
 How could we compute the length of a list? Without worrying yet about what lambda-calculus implementation we're using for the list, the basic idea would be to define this recursively: