English version of Phrasebook

This commit is contained in:
aarne
2010-03-21 17:42:11 +00:00
parent f4d3da0ccc
commit d282a9e1a0
6 changed files with 92 additions and 0 deletions

View File

@@ -0,0 +1,23 @@
--# -path=.:present
concrete PhrasebookEng of Phrasebook =
GreetingsEng,
FoodEng ** open
SyntaxEng,
ResEng, ---- for Num to Utt
Prelude in {
lincat
Phrase = Utt ;
lin
PNumeral n =
mkPhrase (ss ((SyntaxEng.mkCard <n : Numeral>).s ! Nom)) ; ----
PGreeting g = mkPhrase g ;
PSentence s = s ;
oper
mkPhrase : SS -> Utt = \s -> lin Utt s ;
}