From fb1d9b7d2c3c8261fc5a2ce3698e6749458b207a Mon Sep 17 00:00:00 2001 From: aarne Date: Thu, 26 Jun 2008 21:05:01 +0000 Subject: removed transfer from gf3 --- transfer/examples/aggregation/tree.tra | 23 ----------------------- 1 file changed, 23 deletions(-) delete mode 100644 transfer/examples/aggregation/tree.tra (limited to 'transfer/examples/aggregation/tree.tra') diff --git a/transfer/examples/aggregation/tree.tra b/transfer/examples/aggregation/tree.tra deleted file mode 100644 index 5515efa21..000000000 --- a/transfer/examples/aggregation/tree.tra +++ /dev/null @@ -1,23 +0,0 @@ -import prelude ; -data Cat : Type where { - Conj : Cat ; - NP : Cat ; - S : Cat ; - VP : Cat -} ; -data Tree : Cat -> Type where { - And : Tree Conj ; - Bill : Tree NP ; - ConjNP : Tree Conj -> Tree NP -> Tree NP -> Tree NP ; - ConjS : Tree Conj -> Tree S -> Tree S -> Tree S ; - ConjVP : Tree Conj -> Tree VP -> Tree VP -> Tree VP ; - John : Tree NP ; - Mary : Tree NP ; - Or : Tree Conj ; - Pred : Tree NP -> Tree VP -> Tree S ; - Run : Tree VP ; - Swim : Tree VP ; - Walk : Tree VP -} ; -derive Eq Tree ; -derive Compos Tree ; -- cgit v1.2.3