blob: 6ed3ff94708c153b1b7e387aac199e71bfc32fec (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
|
concrete GreetingsEng of Greetings = open Prelude in {
lincat
Greeting, Politeness = SS ;
lin
GHello = ss "hello" ;
GThanks = ss "thank you" ;
GHowAreYou = ss "how are you" ;
GPleaseGive = ss "please" ;
GExcuse = ss "excuse me" ;
GSorry = ss "sorry" ;
GGoodbye = ss "goodbye" ;
GBye = ss "bye" ;
GWhatsYourName = ss "what's your name" ;
GNiceToMeetYou = ss "nice to meet you" ;
GSeeYouSoon = ss "see you soon" ;
GHelp = ss "help" ;
GLookOut = ss "look out" ;
GGoodMorning = ss "good morning" ;
GGoodDay = ss "good afternoon" ; ----
GGoodEvening = ss "good evening" ;
GGoodNight = ss "good night" ;
GImHungry = ss "I'm hungry" ;
GImThirsty = ss "I'm thirsty" ;
GImTired = ss "I'm tired" ;
GImScared = ss "I'm scared" ;
GIdontUnderstand = ss "I don't understand" ;
GWheresTheBathroom = ss "where's the bathroom" ;
GTheCheck = ss "the bill" ;
GYes = ss "yes" ;
GNo = ss "no" ;
}
|
