blob: b89fdababf55f97974201069be877f2692a56d68 (
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
|
concrete GreetingsEng of Greetings = open Roles, Prelude in {
lincat
Greeting = 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" ;
GTheCheck = ss "the bill" ;
GYes = ss "yes" ;
GNo = ss "no" ;
}
|
