(Construction{Eng,Por}) add timeHour and timeHourMinute

This commit is contained in:
odanoburu
2018-10-24 21:57:11 -03:00
parent 55528604b7
commit 425f3c71e9
3 changed files with 133 additions and 8 deletions

View File

@@ -71,6 +71,7 @@ fun
cat
Timeunit ;
Hour ;
Weekday ;
Month ;
Monthday ;
@@ -79,6 +80,34 @@ cat
fun
timeunitAdv : Card -> Timeunit -> Adv ; -- (for) three hours
oneHour : Hour ;
twoHour : Hour ;
threeHour : Hour ;
fourHour : Hour ;
fiveHour : Hour ;
sixHour : Hour ;
sevenHour : Hour ;
eightHour : Hour ;
nineHour : Hour ;
tenHour : Hour ;
elevenHour : Hour ;
twelveHour : Hour ;
thirteenHour : Hour ;
fourteenHour : Hour ;
fifteenHour : Hour ;
sixteenHour : Hour ;
seventeenHour : Hour ;
eighteenHour : Hour ;
nineteenHour : Hour ;
twentyHour : Hour ;
twentyOneHour : Hour ;
twentyTwoHour : Hour ;
twentyThreeHour : Hour ;
twentyFourHour : Hour ;
timeHour : Hour -> Adv ; -- at three (o'clock / am / pm)
timeHourMinute : Hour -> Card -> Adv ; -- at forty past six
weekdayPunctualAdv : Weekday -> Adv ; -- on Monday
weekdayHabitualAdv : Weekday -> Adv ; -- on Mondays
weekdayLastAdv : Weekday -> Adv ; -- last Monday