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

[Wolfgang Jeltsch]

Am Dienstag, 19. Februar 2008 22:52 schrieb Wolfgang Jeltsch:
> Am Dienstag, 19. Februar 2008 21:44 schrieben Sie:
> > * Support of type-level Booleans (Wolfgang?)
>
> Attached is just a quickly hacked Boolean module.  Nothing very special. 
> I’d be happy if you could prettify this (choose better names, add
> documentation, etc.).  Thanks for any effort.
>
> Best wishes,
> Wolfgang

Sorry, wrong list again.