On Sun, Sep 29, 2013 at 01:28:48PM +0800, Richard Hainsworth wrote: > However, the Synopses are now primary specification and the > Apocalypses have only historical significance. Also there are more > Synopses than Apocalypses.
One correction: The test suite ("roast") is the primary specification
(see Synopsis 1).
To me, the Synopses are the English description of our understanding
of the specification / language, as well as a roadmap for growth in the
future.
Pm
