On Fri, Apr 2, 2010 at 11:33 AM, Sam Tobin-Hochstadt <[email protected]> wrote: > On Fri, Apr 2, 2010 at 8:34 AM, Eli Barzilay <[email protected]> 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.
You should probably spell out what kind of predicates you mean (type-based ones, presumably) and what you mean by "regions of code". --Carl _________________________________________________ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev
