[Haskell-cafe] Re: Implementing fixed-sized vectors (using datatype algebra?)

[Wolfgang Jeltsch]

Am Montag, 4. Februar 2008 13:22 schrieben Sie:
> On Feb 4, 2008 12:36 PM, Wolfgang Jeltsch wrote:
>[…]

> I don't still know how many people would be interested in using the
> type-level library so, again, I think it won't hurt to include the
> TH-generated aliases and then change it if some non-GHC user rants
> about it.

Okay, let’s do so for now.

> > So type-level + parametrized-data is my vote.  But don't let's spend too
> > much time discussing the name. ;-)
>
> Fair enough. type-level + parameterized-data it is then (unless
> someone else has a better suggestion). I'm going to begin coding now.

Yes, go ahead. :-)  Thanks a lot.

> I'll host the project in community.haskell.org, do you have an account
> there?

Now, I haven’t. :-( 

> PS: BTW, I asked Oleg for permission and, as expected, agreed to
> create the library under a BS-D license.

Great.  So the packages you create now will be released under BSD3, right?

Best wishes,
Wolfgang