diff options
Diffstat (limited to 'doc/tutorial/resource-food/LexFood.gf')
| -rw-r--r-- | doc/tutorial/resource-food/LexFood.gf | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/doc/tutorial/resource-food/LexFood.gf b/doc/tutorial/resource-food/LexFood.gf deleted file mode 100644 index 18578c4d8..000000000 --- a/doc/tutorial/resource-food/LexFood.gf +++ /dev/null @@ -1,16 +0,0 @@ -interface LexFood = open Syntax in { - - oper - wine_N : N ; - beer_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 ; - -} |