X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=week6.mdwn;h=81e7a83e8761e6e4e3d94c01fa20e856840b026b;hp=7a5ae2c2af56aa9e84d0c19dc144f2a2962a77a4;hb=a514805caa6f1ca2ac4bad1674fbc74622e71968;hpb=ac6c32595e75ae0d3aa0631be7df6ca758626d56

diff --git a/week6.mdwn b/week6.mdwn
index 7a5ae2c2..81e7a83e 100644
--- a/week6.mdwn
+++ b/week6.mdwn
@@ -171,8 +171,8 @@ We can use functions that take arguments of type unit to control
 execution.  In Scheme parlance, functions on the unit type are called
 *thunks* (which I've always assumed was a blend of "think" and "chunk").
 
-Towards Monads
---------------
+Dividing by zero: Towards Monads
+--------------------------------
 
 So the integer division operation presupposes that its second argument
 (the divisor) is not zero, upon pain of presupposition failure.