[racket-dev] [plt] Push #28213: master branch updated
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