From: jim <jim@web>
Date: Tue, 24 Mar 2015 00:49:40 +0000 (-0400)
Subject: add toc
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=d552ecac62f2a31edd0e6f859eea7cc8fe56db18;hp=7076e0276e4fcbd01657fd2c59cf0f368367fe6d

add toc
---

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: