diff options
Diffstat (limited to 'examples/phrasebook/DisambPhrasebookRon.gf')
| -rw-r--r-- | examples/phrasebook/DisambPhrasebookRon.gf | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/examples/phrasebook/DisambPhrasebookRon.gf b/examples/phrasebook/DisambPhrasebookRon.gf deleted file mode 100644 index c6cdf9aae..000000000 --- a/examples/phrasebook/DisambPhrasebookRon.gf +++ /dev/null @@ -1,11 +0,0 @@ ---# -path=.:present - -concrete DisambPhrasebookRon of Phrasebook = PhrasebookRon - - [PSentence, PQuestion, ObjIndef - ] - ** open SyntaxRon, Prelude in { -lin - PSentence s = mkText s ; -- punctuation not optional - PQuestion s = mkText s ; - ObjIndef k = mkNP someSg_Det k ; -} |
