[replying to myself]
> On Jul 23, 2017, at 9:58 PM, Matthias Felleisen <matth...@ccs.neu.edu> wrote:
> At some point I wrote all this up for the contract doc (as the opening
> paragraphs). I can’t see it right now.
You received this message because you are subscribed to the Google Groups
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email
For more options, visit https://groups.google.com/d/optout.