
18 Mar
2006
18 Mar
'06
8:26 a.m.
On 3/18/06, Aaron Denney
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.p... It would be quite confusing to write, say, [1%2 .. 3%2] and get 2%1 and 1%3 in the middle! Jim