diff options
Diffstat (limited to 'examples/phrasebook/PhrasebookTha.gf')
| -rw-r--r-- | examples/phrasebook/PhrasebookTha.gf | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/examples/phrasebook/PhrasebookTha.gf b/examples/phrasebook/PhrasebookTha.gf deleted file mode 100644 index 956599009..000000000 --- a/examples/phrasebook/PhrasebookTha.gf +++ /dev/null @@ -1,11 +0,0 @@ ---# -path=.:alltenses - -concrete PhrasebookTha of Phrasebook = - GreetingsTha, - WordsTha - ** open --- SyntaxTha, - Prelude in { - - -} |
