Some starter sentences.
The contact system supports collapsible contracts, which avoid
repeated wrappers in certain pathological situations. Thanks to Daniel
Feltey.
> Robby Findler / Laurent Orseau
> - Quickscript integration to DrRacket
Quickscript, a scripting tool for DrRacket, is part of the standard
distribution. Thanks to Laurent Orseau.
> Max New
> - but-not/e: 0827ef347dcc17788de64bb48d5e53d66cebcdac @ data
The data/enumerate library supports a different form of subtraction
via but-not/e, following Yorgey and Foner's ICFP'18 paper. Thanks to
Max New.
The letrec.rkt example model in Redex has been changed to more closely
match Racket, which led to some bug fixes in Racket's implementation
of letrec and set!.
Robby