From 52f89f6e42149bf6f1e86d9384831bab3f3c77af Mon Sep 17 00:00:00 2001 From: elvis Date: Sat, 16 Nov 2024 17:28:33 +0100 Subject: [PATCH] Removing unused code --- lib/lang.ml | 13 ------------- 1 file changed, 13 deletions(-) delete mode 100644 lib/lang.ml 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