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.