summaryrefslogtreecommitdiff
path: root/examples/tutorial/syntax/Syntax.gf
diff options
context:
space:
mode:
authorjohn.j.camilleri <john.j.camilleri@chalmers.se>2013-09-16 07:17:27 +0000
committerjohn.j.camilleri <john.j.camilleri@chalmers.se>2013-09-16 07:17:27 +0000
commitf5461eb3d4eb2605b546a4ed202c12bcdaa1f4e4 (patch)
tree946c9e8542b8e8271b6b529a95c0400fa6613cb4 /examples/tutorial/syntax/Syntax.gf
parent8e1c6cca407c82fc09569d80c231b8d256735989 (diff)
Remove contribs and examples
Everything has now been moved to a separate repository at https://github.com/GrammaticalFramework/gf-contrib The contents of the examples folder are build during SetupWeb
Diffstat (limited to 'examples/tutorial/syntax/Syntax.gf')
-rw-r--r--examples/tutorial/syntax/Syntax.gf43
1 files changed, 0 insertions, 43 deletions
diff --git a/examples/tutorial/syntax/Syntax.gf b/examples/tutorial/syntax/Syntax.gf
deleted file mode 100644
index e5b27504d..000000000
--- a/examples/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 ;
- } ;
-
-}