7 Jul
2003
7 Jul
'03
7:09 a.m.
On Monday, 2003-07-07, 13:05, CEST, Ross Paterson wrote:
[...]
In the case of 0.1::Rational, it shouldn't be using floating point. The Report says this means fromRational (1%10), i.e. 1%10.
In which paragraph of the report is this specified?
[...]
Wolfgang