X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=week1.mdwn;h=f87ee981261aaa00d0f3b55a072d2535c266256f;hp=7ea30c3d490fbeb0faeb58ca5514014f4fa07b97;hb=a74e125da6d29f39933f380fd6b0f91e9e4e3791;hpb=0d2b33a56cdeba0ca5c4fe605fcd4e7e6d5cdc3d diff --git a/week1.mdwn b/week1.mdwn index 7ea30c3d..f87ee981 100644 --- a/week1.mdwn +++ b/week1.mdwn @@ -37,7 +37,6 @@ We'll tend to write (λa M) as just `(\a M)`, so we don't hav Application: (M N) -Some authors reserve the term "term" for just variables and abstracts. We'll probably just say "term" and "expression" indiscriminately for expressions of any of these three forms. Examples of expressions: @@ -328,7 +327,7 @@ To read further about the relation between declarative or functional programming * [[!wikipedia Purely functional]] * [[!wikipedia Referential transparency (computer science)]] * [[!wikipedia Imperative programming]] - +* [[!wikipedia Side effect (computer science) desc="Side effects"]] Map @@ -357,6 +356,7 @@ combinatorial logic + Rosetta Stone =============