X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?a=blobdiff_plain;f=topics%2Fweek7_untyped_evaluator.mdwn;h=760068bc055c4e2497082d697b22e0de506dfa58;hb=cabaa3341918874ee26fd368df25383e15b31737;hp=119a730de2944af45e06b74c10f68d082d085a3f;hpb=7076e0276e4fcbd01657fd2c59cf0f368367fe6d;p=lambda.git

diff --git a/topics/week7_untyped_evaluator.mdwn b/topics/week7_untyped_evaluator.mdwn
index 119a730d..760068bc 100644
--- a/topics/week7_untyped_evaluator.mdwn
+++ b/topics/week7_untyped_evaluator.mdwn
@@ -1,5 +1,7 @@
-A program that interprets untyped lambda terms (and more)
-=========================================================
+[[!toc levels=2]]
+
+Datatypes and complications
+---------------------------
 
 Let's start with an OCaml datatype for untyped lambda terms: