From d552ecac62f2a31edd0e6f859eea7cc8fe56db18 Mon Sep 17 00:00:00 2001
From: jim <jim@web>
Date: Mon, 23 Mar 2015 20:49:40 -0400
Subject: [PATCH] add toc

---
 topics/week7_untyped_evaluator.mdwn | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

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:
 
-- 
2.11.0