3 Feb
2005
3 Feb
'05
6:24 p.m.
On Thursday 03 February 2005 16:14, Bayley, Alistair wrote:
- This means TAI time can only be calculated accurately when we have the full leap second table available.
What about making the leap seconds table (LST) a parameter of the UTC/TAI conversion? The LST could be some abstract type, readable via an IO action either from the System (if future systems support this) or from some file. The point in time up to which the table is garanteed to be accurate should be a (queryable) property of the LST. Ben