(no commit message)

[lambda.git] / readings.mdwn

diff --git a/readings.mdwn b/readings.mdwn
index e652e45..a740473 100644 (file)
--- a/readings.mdwn
+++ b/readings.mdwn
@@ -4,9 +4,8 @@
 *   Help on [[Learning OCaml]]
 *   Help on [[Learning Haskell]]
 
 *   Help on [[Learning OCaml]]
 *   Help on [[Learning Haskell]]
 

-<!--
-*   [[Translating between OCaml Scheme and Haskell]]
--->
+<!-- -->
+*   This site's [[explanation of the differences|rosetta1]] between these languages

 
 
 ## Other Offsite Reading ##
 
 
 ## Other Offsite Reading ##


@@ -64,8 +63,9 @@ get more out of. (Rinse and repeat.)
 
 ## Untyped lambda calculus and combinatory logic ##
 
 
 ## 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]]
 *      [[!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>
 *      [[!wikipedia Moses Schönfinkel]]
 *      [[!wikipedia Haskell Curry]]
 *      [[!wikipedia Alonzo Church]]<p>