Commits

Cat's Eye Technologies  committed 3e85004

Minor edits & clarifications.

  • Participants
  • Parent commits f40d0f7
  • Tags rel_2_0_2012_0714

Comments (0)

Files changed (1)

File README.markdown

 
 ### Some Explanations ###
 
-The syntax `A > B` can be read as `A has occurred more recently than B`.
+The syntax `A > B` can be read as "`A` has occurred more recently than `B`".
 If `A` has occurred but `B` has never occurred, `A > B` is still true;
 however, if neither event has ever occurred, both `A > B` and `B > A` are
 false.
 
 After `Foo` happens, `Baz > Bar` should be true.
 
-(The `2iota` interpreter does not yet implement this guarantee, but I don't
-think that will stop me from releasing it.)
-
-...we can say with certainty that, after all the consequents of `Foo` have
-happened, `Baz > Bar`; so maybe there is a place for `caused before`.
-
 Some words on the purpose of `caused before` are in order.  In the original
 vision, `after` and `by` were synonyms, but `before` was meant to actually
 cause the event on which the `caused before` clause was attached, strictly
 ---------------
 
 There is a crude implementation of β-Juliet version 1.0 in the form of a
-Perl 5 script.  It does not implement delays.
+Perl 5 script.  It does not implement delays, but it does implement the
+ordering guarantees between `caused before` and `caused after`.
 
 The reference implementation of β-Juliet version 2.0, called `2iota`, is
 written in C.  It implements delays (when compiled as ANSI C they have