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 --------------------------------------------------------------------------------- -