If you think you can accomplish such a thing for a non-trivial subset
of the language, please do submit it to the editors.

Robby

On 2/25/07, Thomas Lord <[EMAIL PROTECTED]> wrote:

R6RS should have both, with a consistency proof, page count
be damned.

A conservative denotational as "must" and a  usable
operational as "for example".

-t


_______________________________________________
r6rs-discuss mailing list
[email protected]
http://lists.r6rs.org/cgi-bin/mailman/listinfo/r6rs-discuss


_______________________________________________
r6rs-discuss mailing list
[email protected]
http://lists.r6rs.org/cgi-bin/mailman/listinfo/r6rs-discuss

Reply via email to