blob: a1b2059c738f0df9a691bc90686b10c94101c2e0 (
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
|
+ Greetings
fun GCongratulations : Greeting ;
fun GLeaveMeAlone : Greeting ;
+ GreetingsEng
lin GCongratulations = ss "congratulations" ;
+ GreetingsFin
lin GCongratulations = ss "onneksi olkoon" ;
lin GLeaveMeAlone = ss "jätä minut rauhaan" ;
Fre = ss "félicitations" ;
Ita = ss "auguri" ;
Swe = ss "grattis" ;
lin
Eng = ss "leave me alone" ;
Swe = ss "låt mig vara i fred" ;
abstract Words
fun Library : PlaceKind ;
lin
Eng = mkPlace "library" "in" ;
Fin = mkPlace (mkN "kirjasto") ssa ;
Fre = mkPlace (mkN "bibliothèque") dative ;
Swe = mkPlace (mkN "bibliotek" "bibliotek") "på" ;
concrete WordsGer
lin Delicious = mkA "köstlich" ;
lin Expensive = mkA "teuer" ;
|
