Hello Manuel,
Wednesday, September 6, 2006, 9:17:46 PM, you wrote:
> So, both features are truly orthogonal and, in fact, they are
> synergetic! More precisely, an alternative syntax for Löh/Hinze open
> types are overlapping type families. So, we might define S
> alternatively as
> da
Bulat Ziganshin wrote:
> Friday, September 1, 2006, 2:27:34 PM, you wrote:
>
> > Thanks for your interest in open data types. As one of the authors of
> > the "open data types" paper, I'd like to comment on the current
> > discussion.
>
> i'm not yet read about this, but may be open types have so