diff options
Diffstat (limited to 'examples/restaurant/LexRestaurant.gf')
| -rw-r--r-- | examples/restaurant/LexRestaurant.gf | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/examples/restaurant/LexRestaurant.gf b/examples/restaurant/LexRestaurant.gf new file mode 100644 index 000000000..fc25d2080 --- /dev/null +++ b/examples/restaurant/LexRestaurant.gf @@ -0,0 +1,8 @@ +interface LexRestaurant = open Syntax in { + +oper + restaurant_N : N ; + cheap_A : A ; + italian_A, thai_A, swedish_A, french_A : A ; + konkanok_PN : PN ; +} |