diff options
Diffstat (limited to 'eclipse/examples/functors/LexFoods.gf')
| -rw-r--r-- | eclipse/examples/functors/LexFoods.gf | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/eclipse/examples/functors/LexFoods.gf b/eclipse/examples/functors/LexFoods.gf deleted file mode 100644 index 0d4ca4be4..000000000 --- a/eclipse/examples/functors/LexFoods.gf +++ /dev/null @@ -1,15 +0,0 @@ --- Lexicon Interface --- (a resource which contains only oper TYPES) -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 ; -} |