On Tue, Jun 20, 2017 at 10:45 PM, Mark H Weaver <mhw@netris.org> wrote:

I believe I've found a few mistakes in the formal denotational semantics
> for R7RS-small.  The scheme-reports mailing list seems to be gone, so
> I'm not sure where to send this.
>

I'm forwarding this to scheme-reports-wg1@groups.google.com and