1 files changed, 0 insertions, 24 deletions
diff --git a/transfer/examples/disjpatt.tra b/transfer/examples/disjpatt.tra
deleted file mode 100644
index 740e08a7b..000000000
--- a/transfer/examples/disjpatt.tra
+++ /dev/null
@@ -1,24 +0,0 @@
-data Cat : Type where
-    VarOrWild : Cat
-    Exp : Cat
-    Ident : Cat
-
-data Tree : Cat -> Type where
-    EAbs : Tree VarOrWild -> Tree Exp -> Tree Exp
-    EPi : Tree VarOrWild -> Tree Exp -> Tree Exp -> Tree Exp
-    EVar : Tree Ident -> Tree Exp
-    EType : Tree Exp
-    EStr : String -> Tree Exp
-    EInt : Integer -> Tree Exp
-    VVar : Tree Ident -> Tree VarOrWild
-    VWild : Tree VarOrWild
-    Ident : String -> Tree Ident
-
-
-f e = case e of
-       EAbs (VWild || VVar _) e || EPi (VWild || VVar _) _ e -> doSomething e
-       Ident i -> Ident i
-       _ -> catchAll
-
-
-g (Ident x || EAbs (VWild || VVar _) t e) = x e
-\ No newline at end of file