[racket-dev] [plt] Push #28213: master branch updated

From: Asumu Takikawa (asumu at ccs.neu.edu)
Date: Thu Feb 20 23:06:28 EST 2014

On 2014-02-20 23:03:22 -0500, Asumu Takikawa wrote:
> Should be very close. Not quite there currently because there are two
> more chunks that I've written and haven't pushed yet:
>
>   * Implicit (mutual) recursive type aliases, so that a `define-type`
>     can define mutually recursive type alises like the types for
>     `bitmap%` and `bitmap-dc%`.
>
>   * Types for everything in racket/gui and a few other libraries.
>     Types for the framework are still work-in-progress.
>
>   * Full contract support.

Apparently I should learn how to count though. :p

Cheers,
Asumu

Posted on the dev mailing list.