X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=offsite_reading.mdwn;h=e0e1617ba47d4a3c46c6b2ddb555ca1d859400da;hp=6c0435eca9b90fb11ccffd9962bef3f013b55601;hb=a87f3717596e9b3392498513af3d2d41d40bed7e;hpb=b3fcd749ac69521ca598d3846043bb7aff1ac290 diff --git a/offsite_reading.mdwn b/offsite_reading.mdwn index 6c0435ec..e0e1617b 100644 --- a/offsite_reading.mdwn +++ b/offsite_reading.mdwn @@ -128,7 +128,7 @@ get more out of. (Rinse and repeat.) | [Monads as containers](http://www.haskell.org/haskellwiki/Monads_as_containers) | [What a monad is not](http://www.haskell.org/haskellwiki/What_a_Monad_is_not) * [Haskell wikibook: Understanding monads](http://en.wikibooks.org/wiki/Haskell/Understanding_monads) -* [Haskell WikiBook: Monad Transformers](http://en.wikibooks.org/wiki/Haskell/Monad_transformers) +* [Haskell wikibook: Monad Transformers](http://en.wikibooks.org/wiki/Haskell/Monad_transformers) * [You Could Have Invented Monads! (And Maybe You Already Have.)](http://blog.sigfpe.com/2006/08/you-could-have-invented-monads-and.html) * Yet Another Monad Tutorial: [part 1](http://mvanier.livejournal.com/3917.html) [part 2](http://mvanier.livejournal.com/4305.html) @@ -215,7 +215,8 @@ in M. Broy, editor, *Marktoberdorf Summer School on Program Design Calculi*, Spr * [Continuations In Scheme](http://tech.phillipwright.com/2010/05/23/continuations-in-scheme/) * [Understanding Scheme Continuations](http://sanjaypande.blogspot.com/2004/06/understanding-scheme-continuations.html). This is tagged "Part I" but I think there's no further parts. * [Continuations for Curmudgeons](http://www.intertwingly.net/blog/2005/04/13/Continuations-for-Curmudgeons) [Commentary](http://lambda-the-ultimate.org/node/643) -* [Haskell wiki on Continuations](http://www.haskell.org/haskellwiki/Continuation)

+* [Haskell wiki on Continuations](http://www.haskell.org/haskellwiki/Continuation) +* [Haskell wikibook on Continuation Passing Style](http://en.wikibooks.org/wiki/Haskell/Continuation_passing_style)

* [[!wikipedia Delimited continuation]] * [Composable Continuations Tutorial](http://community.schemewiki.org/?composable-continuations-tutorial) at SchemeWiki * [Post by Ken](http://lambda-the-ultimate.org/node/1197#comment-12927) on Lambda the Ultimate explaining difference between undelimited and delimited continuations @@ -236,7 +237,7 @@ in M. Broy, editor, *Marktoberdorf Summer School on Program Design Calculi*, Spr ## The Curry-Howard Correspondence ## * The [[!wikipedia Curry-Howard isomorphism]] * [The Curry-Howard correspondence in Haskell](http://www.thenewsh.com/~newsham/formal/curryhoward/) -* [The Curry-Howard Isomorphism](http://en.wikibooks.org/wiki/Haskell/The_Curry-Howard_isomorphism) at Haskell wiki

+* [Haskell wikibook on the Curry-Howard Isomorphism](http://en.wikibooks.org/wiki/Haskell/The_Curry-Howard_isomorphism) at Haskell wiki