Reviewer needed for New Pull request

I  have created a new pull request implementing the reorganization of the
Abstract Syntax and Semantics document. A reviewer is needed. This is
primarily moving material around, but there are a few new things (careful
definition of timestamp predicate) and some corrections.

Thanks, Tara

Received on Friday, 27 May 2016 22:23:08 UTC