X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?a=blobdiff_plain;f=offsite_reading.mdwn;h=f41f816d997d3732c185a3303a41195bff6d3f57;hb=6b16fea470000df513c10a4d69631bd33d39c8f1;hp=92a3e6ed8a6992d135736858d199e12bcc500589;hpb=4fe0ff3f1e1000ee136b83953d2acd49955fe345;p=lambda.git diff --git a/offsite_reading.mdwn b/offsite_reading.mdwn index 92a3e6ed..f41f816d 100644 --- a/offsite_reading.mdwn +++ b/offsite_reading.mdwn @@ -49,7 +49,9 @@ get more out of out. (Rinse and repeat.) ## Untyped lambda calculus and combinatory logic ## -* [[!wikipedia Lambda calculus]]

+* [[!wikipedia Lambda calculus]] +* [Chris Barker's Lambda Tutorial](http://homepages.nyu.edu/~cb125/Lambda)

+ * [[!wikipedia Haskell Curry]] * [[!wikipedia Moses Schönfinkel]] * [[!wikipedia Alonzo Church]]

@@ -93,9 +95,9 @@ get more out of out. (Rinse and repeat.) * [[!wikipedia Continuation]] * [[!wikipedia Continuation-passing style]] * [[!wikipedia Call-with-current-continuation]] -* [Intro to call/cc at SchemeWiki](http://community.schemewiki.org/?call-with-current-continuation) +* [Intro to call/cc](http://community.schemewiki.org/?call-with-current-continuation) at SchemeWiki * [[!wikipedia Delimited continuation]] -* [Delimited/composable continuations tutorial at SchemeWiki](composable-continuations-tutorial) +* [Delimited/composable continuations tutorial](composable-continuations-tutorial) at SchemeWiki ## Monads ##