summaryrefslogtreecommitdiff
path: root/examples/tutorial/resource-foods/LexFoods.gf
diff options
context:
space:
mode:
authoraarne <aarne@cs.chalmers.se>2007-09-02 19:53:55 +0000
committeraarne <aarne@cs.chalmers.se>2007-09-02 19:53:55 +0000
commit2ad038e20448198dce182e58ed999a6e35293ba7 (patch)
treed946c69ea5360c693dd56b089bb62f2914770fac /examples/tutorial/resource-foods/LexFoods.gf
parent545bcc10ac46bd9e760b005c688f8c5199237424 (diff)
resource using exx revised
Diffstat (limited to 'examples/tutorial/resource-foods/LexFoods.gf')
-rw-r--r--examples/tutorial/resource-foods/LexFoods.gf13
1 files changed, 13 insertions, 0 deletions
diff --git a/examples/tutorial/resource-foods/LexFoods.gf b/examples/tutorial/resource-foods/LexFoods.gf
new file mode 100644
index 000000000..0c88eaa8a
--- /dev/null
+++ b/examples/tutorial/resource-foods/LexFoods.gf
@@ -0,0 +1,13 @@
+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 ;
+}