diff options
Diffstat (limited to 'examples/tutorial/resource-foods/LexFoods.gf')
| -rw-r--r-- | examples/tutorial/resource-foods/LexFoods.gf | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/examples/tutorial/resource-foods/LexFoods.gf b/examples/tutorial/resource-foods/LexFoods.gf deleted file mode 100644 index 875427b77..000000000 --- a/examples/tutorial/resource-foods/LexFoods.gf +++ /dev/null @@ -1,19 +0,0 @@ -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 ; - - eat_V2 : V2 ; - drink_V2 : V2 ; - pay_V2 : V2 ; - lady_N : N ; - gentleman_N : N ; -} |