From: Jim Pryor Date: Mon, 1 Nov 2010 15:47:09 +0000 (-0400) Subject: fix links to towards monads X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=f7cc3968f8f45cfafeca420a1a7583b8c7d83391;hp=505704532a701f9e2ffad2ab7af9e028fdabef3f fix links to towards monads Signed-off-by: Jim Pryor --- diff --git a/assignment5.mdwn b/assignment5.mdwn index b1f65d2a..39899289 100644 --- a/assignment5.mdwn +++ b/assignment5.mdwn @@ -233,8 +233,8 @@ any auxiliary functions you need. Baby monads ----------- -Read the material on dividing by zero/towards monads from the end of lecture -notes for week 6, then write a function `lift'` that generalized the +Read the material on dividing by zero/towards monads from the end of lecture +notes for week 6 the start of lecture notes for week 7, then write a function `lift'` that generalized the correspondence between + and `add'`: that is, `lift'` takes any two-place operation on integers and returns a version that takes arguments of type `int option` instead, returning a result of `int option`. In other words, `lift'` diff --git a/index.mdwn b/index.mdwn index 107c8031..6bee2248 100644 --- a/index.mdwn +++ b/index.mdwn @@ -47,7 +47,7 @@ preloaded is available at [[assignment 3 evaluator]]. (18 Oct, 25 Oct) Lecture notes for [[Week5]] and [[Week6]]; [[Assignment5]]. -> Topics: Types, Polymorphism, Unit and Bottom, Dividing by Zero/[[Towards Monads]] +> Topics: Types, Polymorphism, Unit and Bottom (1 Nov) Lecture notes for [[Week7]]; Assignment6. diff --git a/week6.mdwn b/week6.mdwn index 12fea5b4..2a4586a0 100644 --- a/week6.mdwn +++ b/week6.mdwn @@ -299,5 +299,5 @@ diverge. As we consider richer languages, thunks will become more useful. Towards Monads -------------- -This has now been moved to [its own page](/towards_monads). +This has now been moved to the start of [[week7]].