X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?a=blobdiff_plain;f=week7.mdwn;fp=week7.mdwn;h=78a41506cc48e7388941bb4a28554d501107d6c0;hb=5e53f11286531aec59bd3c665522ad5776d4188d;hp=af8c17e5f05c286b2fd01237449d82337df5e7fc;hpb=386b3d90a12ae3c787bd6620194e6fe736cf8e0e;p=lambda.git

diff --git a/week7.mdwn b/week7.mdwn
index af8c17e5..78a41506 100644
--- 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: