<div dir="ltr">This looks fantastic!<div><br></div><div>Robby</div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Thu, Feb 20, 2014 at 10:06 PM, Asumu Takikawa <span dir="ltr"><<a href="mailto:asumu@ccs.neu.edu" target="_blank">asumu@ccs.neu.edu</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="">On 2014-02-20 23:03:22 -0500, Asumu Takikawa wrote:<br>
> Should be very close. Not quite there currently because there are two<br>
> more chunks that I've written and haven't pushed yet:<br>
><br>
>   * Implicit (mutual) recursive type aliases, so that a `define-type`<br>
>     can define mutually recursive type alises like the types for<br>
>     `bitmap%` and `bitmap-dc%`.<br>
><br>
>   * Types for everything in racket/gui and a few other libraries.<br>
>     Types for the framework are still work-in-progress.<br>
><br>
>   * Full contract support.<br>
<br>
</div>Apparently I should learn how to count though. :p<br>
<div class="HOEnZb"><div class="h5"><br>
Cheers,<br>
Asumu<br>
_________________________<br>
  Racket Developers list:<br>
  <a href="http://lists.racket-lang.org/dev" target="_blank">http://lists.racket-lang.org/dev</a><br>
</div></div></blockquote></div><br></div>