On 2006-03-18, Jim Apple <[EMAIL PROTECTED]> wrote: > On 3/18/06, Aaron Denney <[EMAIL PROTECTED]> wrote: >> Rational _could_ be added here by the diagonal representation, but >> probably sohuldn't. > > We could also add an actual enumeration of rationals, as in > http://web.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/rationals.pdf > > It would be quite confusing to write, say, [1%2 .. 3%2] and get 2%1 > and 1%3 in the middle!
Right, hence my desire to make it a sequence, but not Enumerable, since it has quite a few different quasi-natural ways of doing so. -- Aaron Denney -><- _______________________________________________ Haskell-prime mailing list [email protected] http://haskell.org/mailman/listinfo/haskell-prime
