Skip to content

Commit

Permalink
fixup: fix description of MonthFromTime and WeekDay
Browse files Browse the repository at this point in the history
  • Loading branch information
jmdyck committed Feb 28, 2024
1 parent 642d237 commit 5efbad4
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions spec.html
Original file line number Diff line number Diff line change
Expand Up @@ -32411,7 +32411,7 @@ <h1>
</h1>
<dl class="header">
<dt>description</dt>
<dd>It returns a Number identifying the month in which _t_ falls. A month value of 0 specifies January; 1 specifies February; 2 specifies March; 3 specifies April; 4 specifies May; 5 specifies June; 6 specifies July; 7 specifies August; 8 specifies September; 9 specifies October; 10 specifies November; and 11 specifies December. Note that <emu-eqn>MonthFromTime(*+0*<sub>𝔽</sub>) = 0</emu-eqn>, corresponding to Thursday, 1 January 1970.</dd>
<dd>It returns an integer identifying the month in which _t_ falls. A month value of 0 specifies January; 1 specifies February; 2 specifies March; 3 specifies April; 4 specifies May; 5 specifies June; 6 specifies July; 7 specifies August; 8 specifies September; 9 specifies October; 10 specifies November; and 11 specifies December. Note that <emu-eqn>MonthFromTime(*+0*<sub>𝔽</sub>) = 0</emu-eqn>, corresponding to Thursday, 1 January 1970.</dd>
</dl>
<emu-alg>
1. Let _inLeapYear_ be InLeapYear(_t_).
Expand Down Expand Up @@ -32470,7 +32470,7 @@ <h1>
</h1>
<dl class="header">
<dt>description</dt>
<dd>It returns a Number identifying the day of the week in which _t_ falls. A weekday value of 0 specifies Sunday; 1 specifies Monday; 2 specifies Tuesday; 3 specifies Wednesday; 4 specifies Thursday; 5 specifies Friday; and 6 specifies Saturday. Note that <emu-eqn>WeekDay(*+0*<sub>𝔽</sub>) = 4</emu-eqn>, corresponding to Thursday, 1 January 1970.</dd>
<dd>It returns an integer identifying the day of the week in which _t_ falls. A weekday value of 0 specifies Sunday; 1 specifies Monday; 2 specifies Tuesday; 3 specifies Wednesday; 4 specifies Thursday; 5 specifies Friday; and 6 specifies Saturday. Note that <emu-eqn>WeekDay(*+0*<sub>𝔽</sub>) = 4</emu-eqn>, corresponding to Thursday, 1 January 1970.</dd>
</dl>
<emu-alg>
1. Return (Day(_t_) + 4) modulo 7.
Expand Down

0 comments on commit 5efbad4

Please sign in to comment.