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. -- sam th [email protected] _________________________________________________ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev
