X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=reader_monad_for_variable_binding.mdwn;h=b9fd816d439ee693e26d2ae9173264d856085651;hp=3591c24b401ce341aed5292cc42a983c187522d7;hb=4572bc12ce49240e3e446af2a0940f76ef0b9986;hpb=3c671c1ce7b10e3d9210b990294dbed12a2f9df0 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 -----------------------------------------------