examples/phrasebook/Phrasebook.gf


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

abstract Phrasebook = 
  Greetings,
  Words
  ** {

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

}