added proto-monad

diff --git a/assignment5.mdwn b/assignment5.mdwn
index f6ae94b..4a4e06d 100644 (file)
--- a/assignment5.mdwn
+++ b/assignment5.mdwn
@@ -185,7 +185,7 @@ binary trees working in OCAML.
 
    Consider the following list type:
 
 
    Consider the following list type:
 

-    datatype ’a list = Nil | Cons of ’a * ’a list
+    type ’a list = Nil | Cons of ’a * ’a list

 
    We can encode τ lists, lists of elements of type τ as follows:
 
 
    We can encode τ lists, lists of elements of type τ as follows: