From: Chris Barker <barker@kappa.linguistics.fas.nyu.edu>
Date: Mon, 25 Oct 2010 19:08:20 +0000 (-0400)
Subject: added proto-monad
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=48f733f96a60560cc42360cbfc890f6f9c529d91

added proto-monad
---

diff --git a/assignment5.mdwn b/assignment5.mdwn
index 72361897..f6ae94b0 100644
--- 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,