From: Jim Pryor Date: Tue, 24 Aug 2010 22:00:58 +0000 (-0400) Subject: family_tree typo X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=e90a0c93644702a6b5944883430844cd6d2714a6 family_tree typo Signed-off-by: Jim Pryor --- diff --git a/family_tree_of_functional_programming_languages.mdwn b/family_tree_of_functional_programming_languages.mdwn index 7e018aa5..357fc890 100644 --- a/family_tree_of_functional_programming_languages.mdwn +++ b/family_tree_of_functional_programming_languages.mdwn @@ -74,7 +74,7 @@ like follows: This just says explicitly that foo takes an argument x of type int, an argument y of type float, and returns a pair of type int\*float (that is, a pair whose -first member is if type int and whose second member is of type float). +first member is of type int and whose second member is of type float). Type inference allows programmers to enjoy the benefits of strict compile-time type-checking, which as we said, helps eliminate a large class of errors at a