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

[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
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Boolean.hs
Type: text/x-java
Size: 3349 bytes
Desc: not available
Url : http://www.haskell.org/pipermail/haskell-cafe/attachments/20080219/ab2e9eb0/Boolean.bin