diff --git a/thesis/main.pyg b/thesis/main.pyg
deleted file mode 100644
index f447057..0000000
--- a/thesis/main.pyg
+++ /dev/null
@@ -1,7 +0,0 @@
-mutual
-data Delay (A : Set) : Set where
-  now   : A        → Delay A
-  later : Delay′ A → Delay A
-record Delay′ (A : Set) : Set where
-  coinductive
-  field force : Delay A