13 Jul
2006
13 Jul
'06
2:43 a.m.
Hello Donald, Thursday, July 13, 2006, 9:33:34 AM, you wrote:
Why can't Haskell (with extensions) do type-level Peano naturals in the same fashion? The code would be something like:
darcs get --partial --tag '0.1' http://www.eecs.tufts.edu/~rdocki01/typenats/ -- Best regards, Bulat mailto:Bulat.Ziganshin@gmail.com