diff --git a/lib/lang.ml b/lib/lang.ml
deleted file mode 100644
index 3ddfe33..0000000
--- a/lib/lang.ml
+++ /dev/null
@@ -1,13 +0,0 @@
-module Exercises = Exercises
-
-(* -------------------------------- MINI IMP -------------------------------- *)
-module MiniImpTypes = MiniImp.Types
-
-module MiniImp = MiniImp.Semantics
-
-(* -------------------------------- MINI FUN -------------------------------- *)
-module MiniFunTypes = MiniFun.Types
-
-module MiniTyFun = MiniFun.TypeChecker
-
-module MiniFun = MiniFun.Semantics