31 Jan
2008
31 Jan
'08
11:47 a.m.
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@gmail.com