X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=assignment5.mdwn;h=3989928996c6042a1ba4b155236310aad4a6d5a5;hp=b1f65d2a0394fc1e637958f75b67237f13264ec5;hb=7b00a5a3dc3f7208f67ed5c87faf22b351e14b0c;hpb=93d67277339f0aed8184a14bbc35ec5060a0c031 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'`