diff options
Diffstat (limited to 'examples/phrasebook/Phrasebook.gf')
| -rw-r--r-- | examples/phrasebook/Phrasebook.gf | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/examples/phrasebook/Phrasebook.gf b/examples/phrasebook/Phrasebook.gf new file mode 100644 index 000000000..05b777954 --- /dev/null +++ b/examples/phrasebook/Phrasebook.gf @@ -0,0 +1,16 @@ +abstract Phrasebook = + Greetings, + Food + ** { + +flags startcat = Phrase ; + +cat + Phrase ; +fun + PNumeral : Numeral -> Phrase ; + PGreeting : Greeting -> Phrase ; + PSentence : Sentence -> Phrase ; + + +} |
