X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=family_tree_of_functional_programming_languages.mdwn;h=479f0a8041f64d94c078bc2cab19e4325edeede0;hp=dd4c1c3cb1cdf5d3be75766dbdd87cc8b6a8da71;hb=477b05e15fd63f479eb8c85f188a3a3fd51d324f;hpb=7e0ff6635f98a9139894d40e79e01e05e53abb87

diff --git a/family_tree_of_functional_programming_languages.mdwn b/family_tree_of_functional_programming_languages.mdwn
index dd4c1c3c..479f0a80 100644
--- a/family_tree_of_functional_programming_languages.mdwn
+++ b/family_tree_of_functional_programming_languages.mdwn
@@ -1,4 +1,5 @@
-There's no need for you to know this for our seminar. But in case you're interested...
+There's a lot more trivia and links here than anyone needs to know for this seminar. It's
+there for anyone who may be interested.
 
 Others (and ourselves) will often talk about "functional programming
 languages." But it would be more appropriate to talk of functional *paradigms*
@@ -102,7 +103,8 @@ instance, languages of the ML family are all statically-typed functional
 languages with strict/eager evaluation. These include [[!wikipedia Standard ML desc="SML"]] and
 [[!wikipedia Caml]] and [[!wikipedia Nemerle]]. SML in turn has several variants
 or implementations: [[!wikipedia MLton]], [[!wikipedia SML/NJ]], [[!wikipedia Moscow ML]],
-and [[!wikipedia Mythryl]].
+and [[!wikipedia Mythryl]]. Microsoft's [[!wikipedia F Sharp (programming language) desc="F#"]]
+is derived from Caml.
 
 Other statically-typed functional languages with strict/eager evaluation are
 [[!wikipedia Scala (programming language) desc="Scala"]] and [[!wikipedia