Jim Miller's Mantras for 6.001

1. Every expression* has a value.
2. To find the value of a combination,
   • Find the values of all of the subexpressions, in any order
   • Apply the value of the first to the values of the rest
3. The value of a lambda expression is a procedure.

*: Except for errors, infinite loops, and the define special form.

Jim Miller