diff --git a/Justfile b/Justfile
index d804399..a880195 100644
--- a/Justfile
+++ b/Justfile
@@ -15,4 +15,7 @@ test:
 
 # compile a specific file
 run FILE:
+    cabal run language {{FILE}}
+
+debug FILE:
     cabal run language -- -d {{FILE}}
diff --git a/src/TypeChecker/Bugs.md b/src/TypeChecker/Bugs.md
index 2eefcc0..8dad339 100644
--- a/src/TypeChecker/Bugs.md
+++ b/src/TypeChecker/Bugs.md
@@ -62,4 +62,3 @@ bind ma f = case ma of {
 ```
 TYPECHECKER ERROR
 Inferred type '("c" -> "Int") -> "Maybe" -> "Maybe" does not match specified type '("Int" -> "Int") -> "Maybe" -> "Maybe"'
-```
\ No newline at end of file
diff --git a/src/TypeChecker/TypeChecker.hs b/src/TypeChecker/TypeCheckerHm.hs
similarity index 100%
rename from src/TypeChecker/TypeChecker.hs
rename to src/TypeChecker/TypeCheckerHm.hs
diff --git a/tests/TypecheckingHM/DoStrings.hs b/tests/TestTypeChekerHm.hs/DoStrings.hs
similarity index 100%
rename from tests/TypecheckingHM/DoStrings.hs
rename to tests/TestTypeChekerHm.hs/DoStrings.hs
diff --git a/tests/TypecheckingHM/Tests.hs b/tests/TestTypeChekerHm.hs/Tests.hs
similarity index 100%
rename from tests/TypecheckingHM/Tests.hs
rename to tests/TestTypeChekerHm.hs/Tests.hs