From e9e80fc389365e24d4300d7d5390c7d833a96c50 Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
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/syntax/Syntax.gf | 43 ----------------------------------
 1 file changed, 43 deletions(-)
 delete mode 100644 examples-3.0/tutorial/syntax/Syntax.gf

(limited to 'examples-3.0/tutorial/syntax/Syntax.gf')

diff --git a/examples-3.0/tutorial/syntax/Syntax.gf b/examples-3.0/tutorial/syntax/Syntax.gf
deleted file mode 100644
index e5b27504d..000000000
--- a/examples-3.0/tutorial/syntax/Syntax.gf
+++ /dev/null
@@ -1,43 +0,0 @@
-interface Syntax = open Prelude, Grammar in {
-
-oper
-  mkPhr = overload {
-    mkPhr : S -> Phr 
-      = PhrS ;
-    mkPhr : QS -> Phr 
-      = PhrQS ;
-  } ;
-
-  mkS = overload {
-    mkS : Pol -> NP -> VP -> S
-       = \p,np,vp -> UseCl p (PredVP np vp) ;
-    mkS : NP -> VP -> S
-       = \np,vp -> UseCl PPos (PredVP np vp) ;
-    mkS : Pol -> NP -> V2 -> NP -> S
-       = \p,np,v,o -> UseCl p (PredVP np (ComplV2 v o)) ;
-    mkS : NP -> V2 -> NP -> S
-       = \np,v,o -> UseCl PPos (PredVP np (ComplV2 v o)) ;
-    mkS : Pol -> NP -> AP -> S
-       = \p,np,ap -> UseCl p (PredVP np (ComplAP ap)) ;
-    mkS : NP -> AP -> S
-       = \np,ap -> UseCl PPos (PredVP np (ComplAP ap)) ;
-    } ;
-
-  mkNP : Det -> CN -> NP 
-    = DetCN ;
-
-  mkCN = overload {
-    mkCN : AP -> CN -> CN 
-      = ModCN ;
-    mkCN : N -> CN 
-      = UseN ;
-  } ;
-
-  mkAP = overload {
-    mkAP : AdA -> AP -> AP 
-      = AdAP ;
-    mkAP : A -> AP 
-      = UseA ;
-  } ;
-
-}
-- 
cgit v1.2.3