X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?a=blobdiff_plain;ds=inline;f=translating_between_OCaml_Scheme_and_Haskell.mdwn;h=ed2ce4a16d868b7abb85d41e70f0083606f4aaad;hb=e8b64639978778d2e79cf05bb476f42fa1c9527c;hp=891490227c87c2b3ca7c3d567774d70f8bf74d33;hpb=9e19c6911155ccdac50589b6f16e53a8953451b4;p=lambda.git

diff --git a/translating_between_OCaml_Scheme_and_Haskell.mdwn b/translating_between_OCaml_Scheme_and_Haskell.mdwn
index 89149022..ed2ce4a1 100644
--- a/translating_between_OCaml_Scheme_and_Haskell.mdwn
+++ b/translating_between_OCaml_Scheme_and_Haskell.mdwn
@@ -145,8 +145,7 @@ We will however try to give some general advice about how to translate between O
 
 *	In Haskell, you say a value has a certain type with: `value :: type`. You express the operation of prepending a new `int` to a list of `int`s with `1 : other_numbers`. In OCaml it's the reverse: you say `value : type` and `1 :: other_numbers`.
 
-*	In Haskell, type names and constructors both begin with capital letters, and type variables always appear after their constructors, in Curried form. And the primary term for declaring a new type is `data` (short for "abstract datatype").
-So we have:
+*	In Haskell, type names and constructors both begin with capital letters, and type variables always appear after their constructors, in Curried form. And the primary term for declaring a new type is `data` (short for [[!wikipedia algebraic datatype]]). So we have:
 
 		data Either a b = Left a | Right b;
 		data FooType a b = Foo_constructor1 a b | Foo_constructor2 a b;