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