From: Jim Pryor <profjim@jimpryor.net>
Date: Wed, 17 Nov 2010 09:09:04 +0000 (-0500)
Subject: varbinding tweak
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=4572bc12ce49240e3e446af2a0940f76ef0b9986;hp=3c671c1ce7b10e3d9210b990294dbed12a2f9df0;ds=inline

varbinding tweak

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
---

diff --git a/reader_monad_for_variable_binding.mdwn b/reader_monad_for_variable_binding.mdwn
index 3591c24b..b9fd816d 100644
--- a/reader_monad_for_variable_binding.mdwn
+++ b/reader_monad_for_variable_binding.mdwn
@@ -1,3 +1,5 @@
+[[!toc]]
+
 Substitution versus Environment-based Semantics
 -----------------------------------------------