Legend:

This section records what the DDC developers are actively working on. If you're hacking on something DDC related then by all means add yourself here. Records are dropped off if they haven't been updated for more than a month.

10

10

11

==== Ben (benl23) -- updated 11th Jone 2010 ====

11

==== Ben (benl23) -- updated 11th June 2010 ====

12

12

* I'm cleaning up the core language and rewriting the type checker. We currently have Core.Reconstruct that reconstructs some type annotations as well as checks the type information, but we want to split this into two separate phases. We only have to do the real reconstruction during conversion between the desugared and core language, but we want to run the checker after every stage (during debugging).