X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=offsite_reading.mdwn;h=018758017c7572a3a2ec0897cf7545fb43b2271e;hp=e89c2403b250f26464a8667ba2fbe2d3cd4fc9fc;hb=eb8ac48a126c26a8195d19dfc0e1f60009198746;hpb=cc609e384a5358a667144f78497062bd6f25c0de

diff --git a/offsite_reading.mdwn b/offsite_reading.mdwn
index e89c2403..01875801 100644
--- a/offsite_reading.mdwn
+++ b/offsite_reading.mdwn
@@ -26,6 +26,7 @@ get more out of. (Rinse and repeat.)
 *	[[!wikipedia Functional programming]]
 *	[[!wikipedia Purely functional]]
 *	[[!wikipedia Referential transparency (computer science)]]
+*	[[!wikipedia Side effect (computer science) desc="Side effects"]]
 *	[[!wikipedia Imperative programming]]
 
 ## General issues about variables and scope in programming languages ##
@@ -90,6 +91,10 @@ get more out of. (Rinse and repeat.)
 *	[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/)
 
+## Folds ##
+
+*    [[!wikipedia Fold (higher-order function)]]
+
 
 ## Types ##
 
@@ -188,7 +193,9 @@ in M. Broy, editor, *Marktoberdorf Summer School on Program Design Calculi*, Spr
 
 ## Side-effects / mutation ##
 
+*	[[!wikipedia Referential transparency (computer science)]]
 *	[[!wikipedia Side effect (computer science) desc="Side effects"]]
+*	[[!wikipedia Imperative programming]]
 *	[[!wikipedia Reference (computer science) desc="References"]]
 *	[[!wikipedia Pointer (computing) desc="Pointers"]]
 *	[Pointers in OCaml](http://caml.inria.fr/resources/doc/guides/pointers.html)