Signed-off-by: Jim Pryor <profjim@jimpryor.net>
(18 Oct, 25 Oct) Lecture notes for [[Week5]] and [[Week6]]; [[Assignment5]].
-> Topics: Types, Polymorphism
+> Topics: Types, Polymorphism, Dividing by Zero
(1 Nov) Lecture notes for Week7; Assignment6.
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.