[r6rs-discuss] operational or denotational semantics?

[Thomas Lord]

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