From 96ed0bf4ac7e2898f6f8de82cacecb69d1e94684 Mon Sep 17 00:00:00 2001 From: aarne Date: Fri, 12 Oct 2007 13:46:57 +0000 Subject: demo restaurant info --- examples/restaurant/RestaurantEng.gf | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 examples/restaurant/RestaurantEng.gf (limited to 'examples/restaurant/RestaurantEng.gf') diff --git a/examples/restaurant/RestaurantEng.gf b/examples/restaurant/RestaurantEng.gf new file mode 100644 index 000000000..a6440219a --- /dev/null +++ b/examples/restaurant/RestaurantEng.gf @@ -0,0 +1,5 @@ +--# -path=.:present:prelude + +concrete RestaurantEng of Restaurant = RestaurantI with + (Syntax = SyntaxEng), + (LexRestaurant = LexRestaurantEng) ; -- cgit v1.2.3