From 41aaed58d4734b7cec5a4d2567283cb818f77cbb Mon Sep 17 00:00:00 2001
From: bringert <bringert@cs.chalmers.se>
Date: Tue, 6 Dec 2005 16:23:29 +0000
Subject: Moved transfer documentation to doc/. Added sections and text to
 transfer tutorial and reference. Added script for generating html from
 txt2tags files.

---
 transfer/examples/aggregation/tree.tr | 15 +++++++++------
 1 file changed, 9 insertions(+), 6 deletions(-)

(limited to 'transfer/examples/aggregation/tree.tr')

diff --git a/transfer/examples/aggregation/tree.tr b/transfer/examples/aggregation/tree.tr
index 2e9ead648..5515efa21 100644
--- a/transfer/examples/aggregation/tree.tr
+++ b/transfer/examples/aggregation/tree.tr
@@ -1,20 +1,23 @@
+import prelude ;
 data Cat : Type where {
   Conj : Cat ;
   NP : Cat ;
   S : Cat ;
   VP : Cat 
 } ;
-data Tree : (_ : Cat)-> Type where {
+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 ;
+  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 ;
+  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