13 Mar
2009
13 Mar
'09
4:11 a.m.
Hi Mark, On Mar 13, 2009, at 3:54 AM, Mark Spezzano wrote:
I was wondering what the best way to implement Natural number would be. Is there a package which already does this?
there are two packages on Hackage that implement natural numbers using algebraic datatypes: 'numbers' has a module Data.Number.Natural that implements them in "unary" notation (zero and successor), 'nat' has Data.Number.Nat that uses a binary encoding. Cheers, Sebastian