summaryrefslogtreecommitdiff
path: root/transfer/examples/list.tra
diff options
context:
space:
mode:
authoraarne <aarne@cs.chalmers.se>2008-06-26 21:05:01 +0000
committeraarne <aarne@cs.chalmers.se>2008-06-26 21:05:01 +0000
commitfb1d9b7d2c3c8261fc5a2ce3698e6749458b207a (patch)
tree466adc81f2c6ac803d20804863927c076e2b243a /transfer/examples/list.tra
parent33eb6d899fef48f2d38a92bc0fab66ff585be553 (diff)
removed transfer from gf3
Diffstat (limited to 'transfer/examples/list.tra')
-rw-r--r--transfer/examples/list.tra6
1 files changed, 0 insertions, 6 deletions
diff --git a/transfer/examples/list.tra b/transfer/examples/list.tra
deleted file mode 100644
index 253c29e02..000000000
--- a/transfer/examples/list.tra
+++ /dev/null
@@ -1,6 +0,0 @@
-import prelude
-
-l1 = append ? [1,2,3,5,6] [3]
-l2 = 2 :: l1
-
-main = rec { x = length ? l2; y = l2}