diff options
Diffstat (limited to 'examples/phrasebook/DiffPhrasebookEng.gf')
| -rw-r--r-- | examples/phrasebook/DiffPhrasebookEng.gf | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/examples/phrasebook/DiffPhrasebookEng.gf b/examples/phrasebook/DiffPhrasebookEng.gf deleted file mode 100644 index 40c802459..000000000 --- a/examples/phrasebook/DiffPhrasebookEng.gf +++ /dev/null @@ -1,12 +0,0 @@ -instance DiffPhrasebookEng of DiffPhrasebook = open - SyntaxEng, - ParadigmsEng, - IrregEng -in { - -oper - want_V2 = mkV2 (mkV "want") ; - like_V2 = mkV2 (mkV "like") ; - cost_V2 = mkV2 IrregEng.cost_V ; - cost_V = IrregEng.cost_V ; -} |