On 23/01/13 21:35, Jonathan Gibbons wrote: > With this changeset, I am pleased to report that the reference impl of > "Type Annotations" has made it into the tl/langtools repository. > > Thanks to the entire team, past and present, for helping to make this > happen. > > -- Jon Nicely done! Congrats! Maurizio