From 5c713d8f027a9b6be687ee3f7e917e8bd2115773 Mon Sep 17 00:00:00 2001 From: aarne Date: Fri, 27 Jun 2008 09:18:50 +0000 Subject: took away old-examples --- old-examples/query/Database.gf | 45 ------------------------------------------ 1 file changed, 45 deletions(-) delete mode 100644 old-examples/query/Database.gf (limited to 'old-examples/query/Database.gf') diff --git a/old-examples/query/Database.gf b/old-examples/query/Database.gf deleted file mode 100644 index 2385b8670..000000000 --- a/old-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