From 0236e9a52eb0eafbeda8cbe8e80c0b6971f41010 Mon Sep 17 00:00:00 2001 From: Sofia Rodrigues Date: Fri, 8 Nov 2024 00:27:12 -0300 Subject: [PATCH] Update src/Std/Time.lean Co-authored-by: Markus Himmel --- src/Std/Time.lean | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Std/Time.lean b/src/Std/Time.lean index 96e67b4f4891..b54c634e2775 100644 --- a/src/Std/Time.lean +++ b/src/Std/Time.lean @@ -57,7 +57,7 @@ converted because they use an internal type called `UnitVal`. Ordinal types represent specific bounded values in reference to another unit, e.g., `Day.Ordinal` represents a day in a month, ranging from 1 to 31. Some ordinal types like `Hour.Ordinal` and `Second.Ordinal`, -allow for values beyond the normal range (e.g, 60 seconds) to accomodate special cases with leap seconds +allow for values beyond the normal range (e.g, 60 seconds) to accommodate special cases with leap seconds like `23:59:60` that is valid in ISO 8601. - Ordinal types: