X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=week7.mdwn;h=857a636bad6dad17cdda8689905be7dd934174c9;hp=0e9f25ef8455d508c33571e9734d644e59e50d94;hb=e75b43cb63e4fdd1da9917b2b715b6362672cf9d;hpb=b0139eb9a0b1865ca04f76157ce8dcfbd203374b diff --git a/week7.mdwn b/week7.mdwn index 0e9f25ef..857a636b 100644 --- a/week7.mdwn +++ b/week7.mdwn @@ -484,7 +484,7 @@ invited talk, *19'th Symposium on Principles of Programming Languages*, ACM Pres There's a long list of monad tutorials on the [[Offsite Reading]] page. Skimming the titles makes us laugh. In the presentation we gave above---which follows the functional programming conventions---we took `unit`/return and `bind` as the primitive operations. From these a number of other general monad operations can be derived. It's also possible to take some of the others as primitive. The [Monads in Category -Theory](/advanced_notes/monads_in_category_theory) notes do so, for example. +Theory](/advanced_topics/monads_in_category_theory) notes do so, for example. Here are some of the other general monad operations. You don't have to master these; they're collected here for your reference.