From a9c587b1ebfd114270128345d59ab83a77c7dbff Mon Sep 17 00:00:00 2001
From: Leon Vatthauer <leon.vatthauer@fau.de>
Date: Sun, 25 Feb 2024 21:40:54 +0100
Subject: [PATCH] remove pyg file

---
 thesis/main.pyg | 7 -------
 1 file changed, 7 deletions(-)
 delete mode 100644 thesis/main.pyg

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