IotaTime.Internal.Gregorian

Definitions

gregorianDaysFromCivil : Integer -> Integer -> Integer -> Integer

Totality: total
Visibility: public export

gregorianCivilFromDays : Integer -> (Integer, (Integer, Integer))

Totality: total
Visibility: public export