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:[EMAIL PROTECTED] _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe