Commits on Nov 6, 2011
  1. @rehno-lindeque
Commits on Oct 28, 2011
  1. @rehno-lindeque
  2. @rehno-lindeque
  3. @rehno-lindeque

    Make sure the inner codomain of a domain is evaluated before the quer…

    …y evaluates (by nesting contexts)
    rehno-lindeque committed Oct 28, 2011
  4. @rehno-lindeque
  5. @rehno-lindeque
Commits on Oct 27, 2011
  1. @rehno-lindeque
  2. @rehno-lindeque
  3. @rehno-lindeque
  4. @rehno-lindeque
Commits on Oct 25, 2011
  1. @rehno-lindeque
  2. @rehno-lindeque
  3. @rehno-lindeque
  4. @rehno-lindeque

    Progress in making the operational rules robust to type checking. Rul…

    …es 1 and 2 more or less complete, Rule 3 partially refactored.
    rehno-lindeque committed Oct 25, 2011
Commits on Oct 19, 2011
  1. @rehno-lindeque
Commits on Oct 17, 2011
  1. @rehno-lindeque
  2. @rehno-lindeque
  3. @rehno-lindeque
Commits on Oct 16, 2011
  1. @rehno-lindeque
  2. @rehno-lindeque

    Started fixing up the context and bracketing/sub-expression evaluatio…

    …n in rule 3 (3.1 to 3.4)
    rehno-lindeque committed Oct 16, 2011
  3. @rehno-lindeque

    Clarification on rule 1.4

    rehno-lindeque committed Oct 16, 2011
  4. @rehno-lindeque
Commits on Oct 13, 2011
  1. @rehno-lindeque
Commits on Oct 12, 2011
  1. @rehno-lindeque
  2. @rehno-lindeque
  3. @rehno-lindeque
  4. @rehno-lindeque
  5. @rehno-lindeque

    Added a denotational invariant to clarify that bottom has no effect o…

    …n the contents of a collection
    rehno-lindeque committed Oct 13, 2011
  6. @rehno-lindeque
  7. @rehno-lindeque
  8. @rehno-lindeque
  9. @rehno-lindeque

    Rule 2.6 (previously 2.7) is not needed because the left-hand side su…

    …bexpression will always be fully evaluated
    rehno-lindeque committed Oct 13, 2011
  10. @rehno-lindeque
  11. @rehno-lindeque

    Working on a new semantics for rule 2.5, reducing expressions to lamb…

    …da symbols and moving them over to the context.
    rehno-lindeque committed Oct 12, 2011
  12. @rehno-lindeque