| 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. |
|
![[logo]](/logo.png){kind=logo}