From f5461eb3d4eb2605b546a4ed202c12bcdaa1f4e4 Mon Sep 17 00:00:00 2001 From: "john.j.camilleri" Date: Mon, 16 Sep 2013 07:17:27 +0000 Subject: Remove contribs and examples Everything has now been moved to a separate repository at https://github.com/GrammaticalFramework/gf-contrib The contents of the examples folder are build during SetupWeb --- examples/dates/Dates.gf | 32 -------------------------------- 1 file changed, 32 deletions(-) delete mode 100644 examples/dates/Dates.gf (limited to 'examples/dates/Dates.gf') diff --git a/examples/dates/Dates.gf b/examples/dates/Dates.gf deleted file mode 100644 index 9ac664a1c..000000000 --- a/examples/dates/Dates.gf +++ /dev/null @@ -1,32 +0,0 @@ -abstract Dates = { - -flags startcat = Date ; - -cat - Date ; Year ; Month ; Day ; Time ; Hour ; Minute ; Weekday ; Ampm ; - -fun - DFull : Year -> Month -> Day -> Weekday -> Time -> Date ; - - MkYear : Int -> Year ; - - MJan, MFeb, MMar, MApr, MMay, MJun, MJul, MAug, MSep, MOct, MNov, MDec : Month ; - - MkDay : Int -> Day ; - - MkTime : Ampm -> Hour -> Minute -> Time ; - - H01, H02, H03, H04, H05, H06, H07, H08, H09, H10, H11, H12 : Hour ; - - MkMinute : Int -> Minute ; - - WSun, WMon, WTue, WWed, WThu, WFri, WSat : Weekday ; - - AM, PM : Ampm ; - --- noncanonical ways - - DToday, DYesterday, DTomorrow : Time -> Date ; - -} - -- cgit v1.2.3