X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=content.mdwn;h=1178c43d15283cf6ca3a36d07ea9917fa9beeab8;hp=61ac9611b342ca253fdcebe027704f6eb15492c4;hb=8576e382ccbba75cd71eb0a006139fa65a6e5f42;hpb=d5c9958f0b19e4cb6e43c9004a76d6562c64d824 diff --git a/content.mdwn b/content.mdwn index 61ac9611..1178c43d 100644 --- a/content.mdwn +++ b/content.mdwn @@ -22,7 +22,7 @@ week in which they were introduced. * Practical advice for working with OCaml and/or Haskell (will be posted soon) * [[Kaplan on Plexy|topics/week6_plexy]] and the Maybe type * Interpreter for Lambda terms - * Starting with Monads + * [[Introducing Monads|topics/week7_introducing_monads]] * Order, "static versus dynamic" @@ -58,7 +58,7 @@ week in which they were introduced. * [[Simply-typed lambda calculus|topics/week5 simply typed]] (will be updated) * [[System F|topics/week5 system F]] (will be updated) * Types in OCaml and Haskell (will be posted soon) - * Starting with Monads + * [[Introducing Monads|topics/week7_introducing_monads]] ## Topics by week ## @@ -121,6 +121,4 @@ Week 7: * [[Combinatory evaluator|topics/week7_combinatory_evaluator]] * Interpreter for Lambda terms -* Starting with Monads - - +* [[Introducing Monads|topics/week7_introducing_monads]]