From d5261dc5676bca8e88d3332d4ed7f3f9ed9a0d68 Mon Sep 17 00:00:00 2001
From: crumbtoo <crumb@disroot.org>
Date: Tue, 26 Mar 2024 10:07:21 -0600
Subject: [PATCH] delete empty file

---
 src/Rlp/HindleyMilner2.hs | 6 ------
 1 file changed, 6 deletions(-)
 delete mode 100644 src/Rlp/HindleyMilner2.hs

diff --git a/src/Rlp/HindleyMilner2.hs b/src/Rlp/HindleyMilner2.hs
deleted file mode 100644
index d376bad..0000000
--- a/src/Rlp/HindleyMilner2.hs
+++ /dev/null
@@ -1,6 +0,0 @@
-module Rlp.HindleyMilner2
-    (
-    )
-    where
---------------------------------------------------------------------------------
-