From dbe8e61acc616b8f5ac07e8df89eb98a7997c29d Mon Sep 17 00:00:00 2001
From: bringert <bringert@cs.chalmers.se>
Date: Fri, 25 Nov 2005 16:36:19 +0000
Subject: Move transfer into the GF repo.

---
 transfer/examples/prelude.tr | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 transfer/examples/prelude.tr

(limited to 'transfer/examples/prelude.tr')

diff --git a/transfer/examples/prelude.tr b/transfer/examples/prelude.tr
new file mode 100644
index 000000000..a7e7443a1
--- /dev/null
+++ b/transfer/examples/prelude.tr
@@ -0,0 +1,5 @@
+const : (A:Type) -> (B:Type) -> A -> B -> A ;
+const _ _ x _ = x ;
+
+id : (A:Type) -> A -> A ;
+id A x = x ;
\ No newline at end of file
-- 
cgit v1.2.3