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").
 
 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.
 
 So the integer division operation presupposes that its second argument
 (the divisor) is not zero, upon pain of presupposition failure.