From: Chris Barker <barker@kappa.linguistics.fas.nyu.edu>
Date: Sun, 17 Oct 2010 16:11:04 +0000 (-0400)
Subject: changes to offsite-reading
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=fa5f84861179e2ffcc16dfadffbd4b1c4f01c5df;hp=-c

changes to offsite-reading
---

fa5f84861179e2ffcc16dfadffbd4b1c4f01c5df
diff --combined offsite_reading.mdwn
index d9c7f826,076f77d2..b82bd4bf
--- a/offsite_reading.mdwn
+++ b/offsite_reading.mdwn
@@@ -52,6 -52,7 +52,6 @@@ get more out of. (Rinse and repeat.
  *	[Penn lambda calculator](http://www.ling.upenn.edu/lambda/) Pedagogical software developed by Lucas Champollion, Josh Tauberer and Maribel Romero.<p>
  
  <!-- 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. -->
 -
  *	[[!wikipedia Moses Schönfinkel]]
  *	[[!wikipedia Haskell Curry]]
  *	[[!wikipedia Alonzo Church]]<p>
@@@ -66,6 -67,11 +66,11 @@@
  	<http://people.cs.uu.nl/jeroen/article/combinat/combinat.ps>
  *	[Chris Barker's Iota and Jot](http://semarch.linguistics.fas.nyu.edu/barker/Iota/)<p>
  
+ *	[To Dissect a Mockingbird](http://dkeenan.com/Lambda/index.htm)
+ *	[Combinator Birds](http://www.angelfire.com/tx4/cus/combinator/birds.html)
+ *       [Les deux combinateurs et la totalite](http://www.paulbraffort.net/j_et_i/j_et_i.html) by Paul Braffort.
+ 
+ 
  ## Evaluation Order ##
  
  *	[[!wikipedia Evaluation strategy]]
@@@ -92,8 -98,9 +97,9 @@@
  *	[Y Combinator for Dysfunctional Non-Schemers](http://rayfd.wordpress.com/2007/05/06/y-combinator-for-dysfunctional-non-schemers/)
  *	[The Y Combinator](http://www.ece.uc.edu/~franco/C511/html/Scheme/ycomb.html)
  *	[The Y Combinator](http://dangermouse.brynmawr.edu/cs245/ycomb_jim.html) derives the applicative-order Y-combinator from scratch, in Scheme. This derivation is similar in flavor to the derivation found in The Little Schemer, but uses a slightly different starting approach...
 -*       [The church of the least fixed point, by Sans Pareil](http://www.springerlink.com/content/n4t2v573m58g2755/)
 +
  
+ 
  ## Types ##
  
  *	[[!wikipedia Tagged union]]