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/query/Database.gf | 45 --------------------------------------------- 1 file changed, 45 deletions(-) delete mode 100644 examples/query/Database.gf (limited to 'examples/query/Database.gf') diff --git a/examples/query/Database.gf b/examples/query/Database.gf deleted file mode 100644 index 2385b8670..000000000 --- a/examples/query/Database.gf +++ /dev/null @@ -1,45 +0,0 @@ --- abstract syntax of a small arithmetic query language - -abstract Database = { - -cat - Query ; S ; Q ; NP ; CN ; PN ; A1 ; A2 ; - -fun - QueryS : S -> Query ; - QueryQ : Q -> Query ; - - PredA1 : NP -> A1 -> S ; - - WhichA1 : CN -> A1 -> Q ; - WhichA2 : CN -> NP -> A2 -> Q ; - - ComplA2 : A2 -> NP -> A1 ; - UseInt : Int -> NP ; - - Every : CN -> NP ; - Some : CN -> NP ; - --- lexicon - - Number : CN ; - Even,Odd,Prime : A1 ; - Equal,Greater,Smaller,Divisible : A2 ; - --- replies - -cat Answer ; ListInt ; - -fun - Yes,No : Answer ; - None : Answer ; - List : ListInt -> Answer ; - One : Int -> ListInt ; - Cons : Int -> ListInt -> ListInt ; - --- general moves -fun - Quit : Query ; - Bye : Answer ; - -} -- cgit v1.2.3