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

[Bulat Ziganshin]

Hello Henning,

Thursday, January 31, 2008, 5:49:23 PM, you wrote:

> I remember that type-level arithmetic is already implemented somewhere,
> certainly more than once, but certainly seldom in a nicely packaged form.

one more:
darcs get --partial --tag '0.1' http://www.eecs.tufts.edu/~rdocki01/typenats/



-- 
Best regards,
 Bulat                            mailto:Bulat.Ziganshin at gmail.com