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

Bulat Ziganshin bulat.ziganshin at gmail.com
Thu Jan 31 11:47:18 EST 2008

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

More information about the Haskell-Cafe mailing list