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/reflexive/tree.tra | 21 --------------------- 1 file changed, 21 deletions(-) delete mode 100644 transfer/examples/reflexive/tree.tra (limited to 'transfer/examples/reflexive/tree.tra') diff --git a/transfer/examples/reflexive/tree.tra b/transfer/examples/reflexive/tree.tra deleted file mode 100644 index 7bef5e019..000000000 --- a/transfer/examples/reflexive/tree.tra +++ /dev/null @@ -1,21 +0,0 @@ -import prelude ; -data Cat : Type where { - Conj : Cat ; - NP : Cat ; - S : Cat ; - V2 : Cat -} ; -data Tree : Cat -> Type where { - And : Tree Conj ; - Bill : Tree NP ; - ConjNP : Tree Conj -> Tree NP -> Tree NP -> Tree NP ; - John : Tree NP ; - Mary : Tree NP ; - Or : Tree Conj ; - PredV2 : Tree V2 -> Tree NP -> Tree NP -> Tree S ; - ReflV2 : Tree V2 -> Tree NP -> Tree S ; - See : Tree V2 ; - Whip : Tree V2 -} ; -derive Eq Tree ; -derive Compos Tree ; -- cgit v1.2.3