diff options
Diffstat (limited to 'examples/foods/LexFoods.gf')
| -rw-r--r-- | examples/foods/LexFoods.gf | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/examples/foods/LexFoods.gf b/examples/foods/LexFoods.gf new file mode 100644 index 000000000..12ace208c --- /dev/null +++ b/examples/foods/LexFoods.gf @@ -0,0 +1,15 @@ +-- (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 ; +} |