1 files changed, 6 insertions, 0 deletions
diff --git a/transfer/examples/list.tr b/transfer/examples/list.tr
new file mode 100644
index 000000000..253c29e02
--- /dev/null
+++ b/transfer/examples/list.tr
@@ -0,0 +1,6 @@
+import prelude
+
+l1 = append ? [1,2,3,5,6] [3]
+l2 = 2 :: l1
+
+main = rec { x = length ? l2; y = l2}