[plt-dev] Release Announcement for v4.2.5 -- 2nd call

From: Sam Tobin-Hochstadt (samth at ccs.neu.edu)
Date: Fri Apr 2 11:33:08 EDT 2010

On Fri, Apr 2, 2010 at 8:34 AM, Eli Barzilay <eli at barzilay.org> wrote:
> Sam:
>  - Add `define-predicate'; add `with-type' for defintions; New TS
>    guide.  (Maybe more?)

How about:

Typed Scheme now supports automatic construction of predicates with
`define-predicate'.  Regions of code can be typechecked with the
`with-type' form.

sam th
samth at ccs.neu.edu

Posted on the dev mailing list.