diff options
| author | aarne <aarne@chalmers.se> | 2010-03-28 15:28:02 +0000 |
|---|---|---|
| committer | aarne <aarne@chalmers.se> | 2010-03-28 15:28:02 +0000 |
| commit | 3903b6b85222d5d266f859f4d029b12159cdf814 (patch) | |
| tree | 7145415760924451fcf171cc2dc7898b3be4aa4f /examples/phrasebook/Phrasebook.gf | |
| parent | 2925edd088b2e157183a88edb9bdfcc78371b628 (diff) | |
short-phrase translation; added Swe; started doc in Phrasebook
Diffstat (limited to 'examples/phrasebook/Phrasebook.gf')
| -rw-r--r-- | examples/phrasebook/Phrasebook.gf | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/examples/phrasebook/Phrasebook.gf b/examples/phrasebook/Phrasebook.gf index 001b250f5..3ddd5b573 100644 --- a/examples/phrasebook/Phrasebook.gf +++ b/examples/phrasebook/Phrasebook.gf @@ -6,13 +6,12 @@ abstract Phrasebook = flags startcat = Phrase ; cat - Phrase ; Politeness ; Gender ; -- abstract parameters fun - PNumeral : Numeral -> Phrase ; + +-- here rather than Sentences, because not functorial PSentence : Sentence -> Phrase ; PQuestion : Question -> Phrase ; - PGreeting : Greeting -> Phrase ; ---- PGreeting : Politeness -> Gender -> Gender -> Greeting -> Phrase ; -- politeness level, speaker, hearer |