added proto-monad

diff --git a/assignment5.mdwn b/assignment5.mdwn
index 7236189..f6ae94b 100644 (file)
--- a/assignment5.mdwn
+++ b/assignment5.mdwn
@@ -68,7 +68,8 @@ Types and OCAML
 
     let _ = omega () in 2;;
 
-3. The following expression is an attempt to make explicit the
+3. This problem is to begin thinking about controlling order of evaluation.
+The following expression is an attempt to make explicit the
 behavior of `if`-`then`-`else` explored in the previous question.
 The idea is to define an `if`-`then`-`else` expression using 
 other expression types.  So assume that "yes" is any OCAML expression,