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'
On Jan 31, 2008 5:47 PM, Bulat Ziganshin [EMAIL PROTECTED] wrote:
one more:
darcs get --partial --tag '0.1' http://www.eecs.tufts.edu/~rdocki01/typenats/
Thanks for the link, I had already checked this library, but using a
binary representation has the same problem as using peano numbers,
error