From 6db8a23d00191a928cf921172530fbc64a9e3dca Mon Sep 17 00:00:00 2001
From: depsterr <depsterr@protonmail.com>
Date: Thu, 28 Jul 2022 15:38:12 +0200
Subject: [PATCH] remove old test files

---
 tests/id1.pi | 3 ---
 tests/id2.pi | 3 ---
 2 files changed, 6 deletions(-)
 delete mode 100644 tests/id1.pi
 delete mode 100644 tests/id2.pi

diff --git a/tests/id1.pi b/tests/id1.pi
deleted file mode 100644
index ede76bf..0000000
--- a/tests/id1.pi
+++ /dev/null
@@ -1,3 +0,0 @@
-let transport : Π (A : Type) Π (f : A → Type) Π (x : A) Π (y : A)
-                Id A x y → f x → f y
-  ≔ λA.λf.λx.λy. J A x y (λa.λb.λ_. f a → f b) (λa.a)
diff --git a/tests/id2.pi b/tests/id2.pi
deleted file mode 100644
index d6b25af..0000000
--- a/tests/id2.pi
+++ /dev/null
@@ -1,3 +0,0 @@
-let ap : Π (A : Type) Π (B : Type) Π (f : A → B)
-         Π (x : A) Π (y : A) Id A x y → Id B (f x) (f y)
-  ≔ λA.λB.λf.λx.λy. J A x y (λa.λb.λ_. Id B (f a) (f b)) (refl B (f x))