From 0fb13f59fbe2e781192042f91b7104bfba4f31f1 Mon Sep 17 00:00:00 2001
From: Martin Fredin <fredin.martin@gmail.com>
Date: Mon, 1 May 2023 10:47:07 +0200
Subject: [PATCH] Remove bad program

---
 sample-programs/good1 | 6 ------
 1 file changed, 6 deletions(-)
 delete mode 100644 sample-programs/good1

diff --git a/sample-programs/good1 b/sample-programs/good1
deleted file mode 100644
index b7aff4b..0000000
--- a/sample-programs/good1
+++ /dev/null
@@ -1,6 +0,0 @@
-main : _Int ;
-main = (id : _Int -> _Int) 5 ;
-
-id : 'a -> 'a ;
-id x = (x : 'a);
-