
3 Nov
2014
3 Nov
'14
1:15 p.m.
On Mon, 3 Nov 2014, Brandon Allbery wrote:
On Mon, Nov 3, 2014 at 12:57 PM, John Lato
wrote: Rather it makes me question whether `Ratio a` itself makes sense, and perhaps we should monomorphize it to Integers. I've been questioning that for a while, to be honest.
There could be other big integer types. In principle, Ratio also works for polynomials, but not in the way it is defined in 'base'.