Skip to content

Commit

Permalink
Update src/Std/Time.lean
Browse files Browse the repository at this point in the history
Co-authored-by: Markus Himmel <[email protected]>
  • Loading branch information
algebraic-dev and TwoFX authored Nov 8, 2024
1 parent 5b7a8fd commit 0236e9a
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/Std/Time.lean
Original file line number Diff line number Diff line change
Expand Up @@ -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:
Expand Down

0 comments on commit 0236e9a

Please sign in to comment.