Re: datatype status update (was Re: Syntax-level typing (was Re: A data typing proposal))

Eric Miller wrote:

> Hmm... I feel closure on this issue and a wonderful present for Brian
> when he returns a real possibility.
> 
> Datatype's subgroup... how is the progress going?  I'd like to close
> this issue Friday if possible and this requires the group seeing the
> proposal by tomorrow.  Anything we can do to help move this along
> (teleconference bridge, Vegemite offering, etc? :) 

Eric,

Guha is going to circulate our short writeup today (Wed).

Sergey