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

Bulat Ziganshin bulat.ziganshin at gmail.com
Thu Jul 13 02:43:31 EDT 2006

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

More information about the Haskell-Cafe mailing list