diff options
Diffstat (limited to 'examples/phrasebook/Phrasebook.gf')
| -rw-r--r-- | examples/phrasebook/Phrasebook.gf | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/examples/phrasebook/Phrasebook.gf b/examples/phrasebook/Phrasebook.gf index 6a0fdad80..6872a9ace 100644 --- a/examples/phrasebook/Phrasebook.gf +++ b/examples/phrasebook/Phrasebook.gf @@ -6,10 +6,6 @@ abstract Phrasebook = flags startcat = Phrase ; fun - --- here rather than Sentences, because not functorial - PGreeting : Politeness -> Greeting -> Phrase ; ----- PGreeting : Politeness -> Gender -> Gender -> Greeting -> Phrase ; - -- politeness level, speaker, hearer + PGreeting : Greeting -> Phrase ; } |