From: Jim Pryor Date: Thu, 16 Sep 2010 01:27:48 +0000 (-0400) Subject: Merge branch 'pryor' X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=04d43307f66bff9b439ad987f3e10c16773dbc62;hp=f7ac19bdf94273ea7d68ee68833567efa70143f6 Merge branch 'pryor' --- diff --git a/week1.mdwn b/week1.mdwn index 12890be9..5d482c4c 100644 --- a/week1.mdwn +++ b/week1.mdwn @@ -56,7 +56,7 @@ It's possible to enhance the lambda calculus so that functions do get identified It's often said that dynamic systems are distinguished because they are the ones in which **order matters**. However, there are many ways in which order can matter. If we have a trivalent boolean system, for example---easily had in a purely functional calculus---we might choose to give a truth-table like this for "and": -true and true = true + true and true = true And then we'd notice that `* and false` has a different intepretation than `false and *`. (The same phenomenon is already present with the material conditional in bivalent logics; but seeing that a non-symmetric semantics for `and` is available even for functional languages is instructive.)