forked from GitHub/gf-rgl
65 lines
2.3 KiB
Plaintext
65 lines
2.3 KiB
Plaintext
concrete NamesEng of Names = ConstructionEng **
|
|
|
|
open ParadigmsEng in {
|
|
|
|
lin monday_Weekday = mkN "Monday" ;
|
|
lin tuesday_Weekday = mkN "Tuesday" ;
|
|
lin wednesday_Weekday = mkN "Wednesday" ;
|
|
lin thursday_Weekday = mkN "Thursday" ;
|
|
lin friday_Weekday = mkN "Friday" ;
|
|
lin saturday_Weekday = mkN "Saturday" ;
|
|
lin sunday_Weekday = mkN "Sunday" ;
|
|
|
|
lin january_Month = mkN "January" ;
|
|
lin february_Month = mkN "February" ;
|
|
lin march_Month = mkN "March" ;
|
|
lin april_Month = mkN "April" ;
|
|
lin may_Month = mkN "May" ;
|
|
lin june_Month = mkN "June" ;
|
|
lin july_Month = mkN "July" ;
|
|
lin august_Month = mkN "August" ;
|
|
lin september_Month = mkN "September" ;
|
|
lin october_Month = mkN "October" ;
|
|
lin november_Month = mkN "November" ;
|
|
lin december_Month = mkN "December" ;
|
|
|
|
|
|
oper mkLanguage : Str -> PN = \s -> mkPN s ;
|
|
|
|
lin afrikaans_Language = mkLanguage "Afrikaans" ;
|
|
lin amharic_Language = mkLanguage "Amharic" ;
|
|
lin arabic_Language = mkLanguage "Arabic" ;
|
|
lin bulgarian_Language = mkLanguage "Bulgarian" ;
|
|
lin catalan_Language = mkLanguage "Catalan" ;
|
|
lin chinese_Language = mkLanguage "Chinese" ;
|
|
lin danish_Language = mkLanguage "Danish" ;
|
|
lin dutch_Language = mkLanguage "Dutch" ;
|
|
lin english_Language = mkLanguage "English" ;
|
|
lin estonian_Language = mkLanguage "Estonian" ;
|
|
lin finnish_Language = mkLanguage "Finnish" ;
|
|
lin french_Language = mkLanguage "French" ;
|
|
lin german_Language = mkLanguage "German" ;
|
|
lin greek_Language = mkLanguage "Greek" ;
|
|
lin hebrew_Language = mkLanguage "Hebrew" ;
|
|
lin hindi_Language = mkLanguage "Hindi" ;
|
|
lin japanese_Language = mkLanguage "Japanese" ;
|
|
lin italian_Language = mkLanguage "Italian" ;
|
|
lin latin_Language = mkLanguage "Latin" ;
|
|
lin latvian_Language = mkLanguage "Latvian" ;
|
|
lin maltese_Language = mkLanguage "Maltese" ;
|
|
lin nepali_Language = mkLanguage "Nepali" ;
|
|
lin norwegian_Language = mkLanguage "Norwegian" ;
|
|
lin persian_Language = mkLanguage "Persian" ;
|
|
lin polish_Language = mkLanguage "Polish" ;
|
|
lin punjabi_Language = mkLanguage "Punjabi" ;
|
|
lin romanian_Language = mkLanguage "Romanian" ;
|
|
lin russian_Language = mkLanguage "Russian" ;
|
|
lin sindhi_Language = mkLanguage "Sindhi" ;
|
|
lin spanish_Language = mkLanguage "Spanish" ;
|
|
lin swahili_Language = mkLanguage "Swahili" ;
|
|
lin swedish_Language = mkLanguage "Swedish" ;
|
|
lin thai_Language = mkLanguage "Thai" ;
|
|
lin turkish_Language = mkLanguage "Turkish" ;
|
|
lin urdu_Language = mkLanguage "Urdu" ;
|
|
|
|
} |