edits

[lambda.git] / week7.mdwn

diff --git a/week7.mdwn b/week7.mdwn
index af8c17e..78a4150 100644 (file)
--- a/week7.mdwn
+++ b/week7.mdwn
@@ -4,6 +4,8 @@
 Towards Monads: Safe division
 -----------------------------
 
+[This section used to be near the end of the lecture notes for week 6]
+
 Integer division presupposes that its second argument
 (the divisor) is not zero, upon pain of presupposition failure.
 Here's what my OCaml interpreter says: