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=b7aef174959119fd62706cd966ca74859bbdf292;hpb=5555d992063202b118a612862085a06291bc6f47 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 -----------------------------------------------