Merge branch 'master' of ssh://server.philosophy.fas.nyu.edu/Users/lambda/lambda

[lambda.git] / reader_monad_for_variable_binding.mdwn

diff --git a/reader_monad_for_variable_binding.mdwn b/reader_monad_for_variable_binding.mdwn
index 3591c24..b9fd816 100644 (file)
--- a/reader_monad_for_variable_binding.mdwn
+++ b/reader_monad_for_variable_binding.mdwn
@@ -1,3 +1,5 @@
+[[!toc]]
+
 Substitution versus Environment-based Semantics
 -----------------------------------------------