X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=week3.mdwn;h=2a31f84343a48d9b87e979caa37e5e67cca7af7b;hp=e8a86e90bbc180f69d98d3af58680b40e2edf143;hb=e4ea387ecb1a2dcb069060afccbe8ac1e70f7061;hpb=71bfc3a4fcf9ae9eddc1854bce2ff6d5f6869644

diff --git a/week3.mdwn b/week3.mdwn
index e8a86e90..2a31f843 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: