added proto-monad
authorChris Barker <barker@kappa.linguistics.fas.nyu.edu>
Mon, 25 Oct 2010 19:08:20 +0000 (15:08 -0400)
committerChris Barker <barker@kappa.linguistics.fas.nyu.edu>
Mon, 25 Oct 2010 19:08:20 +0000 (15:08 -0400)
assignment5.mdwn

index 7236189..f6ae94b 100644 (file)
@@ -68,7 +68,8 @@ Types and OCAML
 
     let _ = omega () in 2;;
 
 
     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,
 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,