delete empty file

This commit is contained in:
crumbtoo committed 2024-04-15 10:07:21 -06:00
1 parent 0b4c5e5669
commit d217b5b830
1 file changed
-6
-6
View File
@@ -1,6 +0,0 @@
module Rlp.HindleyMilner2
(
)
where
--------------------------------------------------------------------------------