fix links to towards monads

Signed-off-by: Jim Pryor <profjim@jimpryor.net>

diff --git a/assignment5.mdwn b/assignment5.mdwn
index b1f65d2..3989928 100644 (file)
--- a/assignment5.mdwn
+++ b/assignment5.mdwn
@@ -233,8 +233,8 @@ any auxiliary functions you need.
 Baby monads
 -----------
 
 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 <strike>the end of lecture
+notes for week 6</strike> 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'`
 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 107c803..6bee224 100644 (file)
--- 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]].
 
 
 (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.
 
 
 (1 Nov) Lecture notes for [[Week7]]; Assignment6.
 

diff --git a/week6.mdwn b/week6.mdwn
index 12fea5b..2a4586a 100644 (file)
--- a/week6.mdwn
+++ b/week6.mdwn
@@ -299,5 +299,5 @@ diverge. As we consider richer languages, thunks will become more useful.
 Towards Monads
 --------------
 
 Towards Monads
 --------------
 

-This has now been moved to [its own page](/towards_monads).
+This has now been moved to the start of [[week7]].