changed names of resource-1.3; added a note on homepage on release

1 files changed, 0 insertions, 45 deletions

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 ;
-
-}