expand name 'towards monads'

[lambda.git] / week6.mdwn

diff --git a/week6.mdwn b/week6.mdwn
index 7a5ae2c..81e7a83 100644 (file)
--- 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.