X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=readings.mdwn;h=a7404732d074b260051899430418c341cea2b9e8;hp=c15315d63acf623d48a3f66a3721988cd4b724f2;hb=6f90fa9381988785d23d45beae679a7acfd3aefa;hpb=b5f033198b60cd8029897619b49fd966b6a59291

diff --git a/readings.mdwn b/readings.mdwn
index c15315d6..a7404732 100644
--- a/readings.mdwn
+++ b/readings.mdwn
@@ -4,11 +4,15 @@
 *   Help on [[Learning OCaml]]
 *   Help on [[Learning Haskell]]
 
+<!-- -->
+*   This site's [[explanation of the differences|rosetta1]] between these languages
+
+
+## Other Offsite Reading ##
+
+*   [[Famous Computer Scientists|people]]
 
-<!--
-*   [[Translating between OCaml Scheme and Haskell]]
 
--->
 
 <!--
 There's lots of links here already to tutorials and encyclopedia entries about many of the notions we'll be dealing with.
@@ -59,8 +63,9 @@ get more out of. (Rinse and repeat.)
 
 ## Untyped lambda calculus and combinatory logic ##
 
+*	[[Dana Scott's Turing centenary address on the lambda calculus|http://turing100.acm.org/lambda_calculus_timeline.pdf]]
 *	[[!wikipedia Lambda calculus]]
-<!~- Haskell Curry had ideas that he felt were validated upon reading a 1924 paper by M. Schönfinkel "Uber die Bausteine der mathematischen Logik" which used combinators in a similar way to his own ideas. Haskell then wrote "An analysis of logical substitution" which appeared in the American Journal of Mathematics in 1929. ~->
+<!~- Haskell Curry had ideas that he felt were validated upon reading a 1924 paper by M. Schönfinkel "Uber die Bausteine der mathematischen Logik" which used combinators in a similar way to his own ideas. Curry then wrote "An analysis of logical substitution" which appeared in the American Journal of Mathematics in 1929. ~->
 *	[[!wikipedia Moses Schönfinkel]]
 *	[[!wikipedia Haskell Curry]]
 *	[[!wikipedia Alonzo Church]]<p>