X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=assignment5.mdwn;h=4a4e06d2a36f5b6ad49072453ffc9b0533b11ff5;hp=f6ae94b006b4f2a2076fa3a1a90eb307da302c77;hb=ac9dca9445dd794a3cbda9cfa80d48cb521a96d7;hpb=48f733f96a60560cc42360cbfc890f6f9c529d91

diff --git a/assignment5.mdwn b/assignment5.mdwn
index f6ae94b0..4a4e06d2 100644
--- a/assignment5.mdwn
+++ b/assignment5.mdwn
@@ -185,7 +185,7 @@ binary trees working in OCAML.
 
    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: