31 Mar
2009
31 Mar
'09
10:13 a.m.
On Mon, 2009-03-30 at 20:54 +0100, Lennart Augustsson wrote:
I wasn't questioning the utility of John's library. But I saw him mentioning unary numbers and I think it's a mistake to use those for anything practical involving even moderately sized numbers.
Also agreed! tfp supports rational arithmetic through its decimal numbers, and in my opinion, a new library should build upon tfp, adding features like the regular prelude H.O.F.s until there is a prelude for types. - John Morrice