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