diff options
Diffstat (limited to 'examples/foods/LexFoods.gf')
| -rw-r--r-- | examples/foods/LexFoods.gf | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/examples/foods/LexFoods.gf b/examples/foods/LexFoods.gf deleted file mode 100644 index 12ace208c..000000000 --- a/examples/foods/LexFoods.gf +++ /dev/null @@ -1,15 +0,0 @@ --- (c) 2009 Aarne Ranta under LGPL - -interface LexFoods = open Syntax in { - oper - wine_N : N ; - pizza_N : N ; - cheese_N : N ; - fish_N : N ; - fresh_A : A ; - warm_A : A ; - italian_A : A ; - expensive_A : A ; - delicious_A : A ; - boring_A : A ; -} |
