Email list hosting service & mailing list manager

new, simpler formal specification Taylor Campbell (22 Mar 2005 22:56 UTC)
Re: new, simpler formal specification Paul Schlie (23 Mar 2005 01:49 UTC)
Re: new, simpler formal specification Taylor Campbell (23 Mar 2005 03:02 UTC)
Re: new, simpler formal specification Taylor Campbell (23 Mar 2005 05:59 UTC)
Re: new, simpler formal specification Paul Schlie (23 Mar 2005 17:00 UTC)
Re: new, simpler formal specification Taylor Campbell (23 Mar 2005 21:26 UTC)
Re: new, simpler formal specification Paul Schlie (23 Mar 2005 21:22 UTC)
Re: new, simpler formal specification Taylor Campbell (23 Mar 2005 22:48 UTC)
Re: new, simpler formal specification Paul Schlie (24 Mar 2005 01:06 UTC)
Re: new, simpler formal specification Taylor Campbell (24 Mar 2005 02:35 UTC)
Re: new, simpler formal specification Paul Schlie (24 Mar 2005 05:37 UTC)
Re: new, simpler formal specification Paul Schlie (24 Mar 2005 15:57 UTC)

Re: new, simpler formal specification Taylor Campbell 23 Mar 2005 06:32 UTC

On Tue, 22 Mar 2005, I miswrote:

> One problem with this is that it creates mutual references between
> sections 7.1.1, which describes the lexical structure, and 7.1.2, which
> describes the external representation of S-expressions -- in terms of a
> stream of tokens.

Sorry, that was supposed to read as follows in order to make a bit more
sense in my argument:

  One problem with this is that it creates mutual references between
  sections 7.1.1, which describes the lexical structure _as_a_stream_of
  _tokens_, and 7.1.2, which describes the external representation of
  S-expressions -- in terms of the stream of tokens.