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