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