X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=topics%2Fweek7_untyped_evaluator.mdwn;h=760068bc055c4e2497082d697b22e0de506dfa58;hb=17da7311d92a464e5ea2bf70f5d356488d0ae522;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: