From e9e80fc389365e24d4300d7d5390c7d833a96c50 Mon Sep 17 00:00:00 2001 From: aarne Date: Wed, 25 Jun 2008 16:54:35 +0000 Subject: changed names of resource-1.3; added a note on homepage on release --- examples-3.0/tutorial/resource-foods/LexFoods.gf | 19 ------------------- 1 file changed, 19 deletions(-) delete mode 100644 examples-3.0/tutorial/resource-foods/LexFoods.gf (limited to 'examples-3.0/tutorial/resource-foods/LexFoods.gf') diff --git a/examples-3.0/tutorial/resource-foods/LexFoods.gf b/examples-3.0/tutorial/resource-foods/LexFoods.gf deleted file mode 100644 index 875427b77..000000000 --- a/examples-3.0/tutorial/resource-foods/LexFoods.gf +++ /dev/null @@ -1,19 +0,0 @@ -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 ; - - eat_V2 : V2 ; - drink_V2 : V2 ; - pay_V2 : V2 ; - lady_N : N ; - gentleman_N : N ; -} -- cgit v1.2.3