From 4572bc12ce49240e3e446af2a0940f76ef0b9986 Mon Sep 17 00:00:00 2001 From: Jim Pryor Date: Wed, 17 Nov 2010 04:09:04 -0500 Subject: [PATCH] varbinding tweak Signed-off-by: Jim Pryor --- reader_monad_for_variable_binding.mdwn | 2 ++ 1 file changed, 2 insertions(+) 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 ----------------------------------------------- -- 2.11.0