[Haskell-cafe] Re: [Haskell] Type-Level Naturals Like Prolog?

[Bulat Ziganshin]

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 at gmail.com