David Singer wrote:
Against that, one has to realize that "the label of the day before X"
is well-defined for the day before the introduction of the Gregorian
calendar, and iteratively going back to year 1, year 0, year -1, and
so on.
In neither the Gregorian nor the Julian calendars is there a year 0, as
used in conventional speech (formats designed for machine computation
treat the issue a little differently).
--
Beware of bugs in the above code; I have only proved it correct, not tried it.
-- Donald E. Knuth
