Merge remote-tracking branch 'origin/main'

# Conflicts:
#	aufgaben/src/Pflichtuebung_01/Date.elm
main
Skyball2000 2022-11-08 11:23:31 +01:00
commit 48c254acaa
1 changed files with 8 additions and 1 deletions

View File

@ -31,7 +31,14 @@ gt date1 date2 = False
-- 1 Punkt: -- 1 Punkt:
toString : Date -> String toString : Date -> String
toString date = "" toString (a,b,c) = (if a < 10 then "0" ++ String.fromInt(a) else String.fromInt(a))
++ (if b < 10 then "0" ++ String.fromInt(b) else String.fromInt(b))
++ (if c < 10 then "000" ++ String.fromInt(c)
else if c < 100 then "00" ++ String.fromInt(c)
else if c < 1000 then "0" ++ String.fromInt(c)
else String.fromInt(c))
-- TT.MM.YYYY
-- 2 Punkte: -- 2 Punkte:
next : Date -> Date next : Date -> Date