Mantras, revisited

 left top
  1. Every expression1 has a value.
  2. To find the value of a combination,
    • Find the values of the subexpressions, in any order.
    • Apply2 the value of the first to the values of the rest.
  3. The value of a lambda expression is a compound procedure.3
  4. The value of a quote expression is the thing quoted.

Notes:
  1. Except for errors, infinite loops, and the define special form.
  2. To apply a compound procedure to arguments use the arguments and all three parts of the procedure (create, fill, link, evaluate).
  3. A compound procedure ("double bubble") has parameters, body, and an environment. The parameters and the body, together, are called the text.

Jim Miller W3C