diff --git a/lib/Quox/Lexer.idr b/lib/on-hold/Quox/Lexer.idr
similarity index 100%
rename from lib/Quox/Lexer.idr
rename to lib/on-hold/Quox/Lexer.idr
diff --git a/lib/Quox/Parser.idr b/lib/on-hold/Quox/Parser.idr
similarity index 100%
rename from lib/Quox/Parser.idr
rename to lib/on-hold/Quox/Parser.idr
diff --git a/lib/Quox/Token.idr b/lib/on-hold/Quox/Token.idr
similarity index 100%
rename from lib/Quox/Token.idr
rename to lib/on-hold/Quox/Token.idr
diff --git a/lib/Quox/Unicode.idr b/lib/on-hold/Quox/Unicode.idr
similarity index 100%
rename from lib/Quox/Unicode.idr
rename to lib/on-hold/Quox/Unicode.idr
diff --git a/lib/quox-lib.ipkg b/lib/quox-lib.ipkg
index f37371f..d686162 100644
--- a/lib/quox-lib.ipkg
+++ b/lib/quox-lib.ipkg
@@ -9,7 +9,7 @@ depends = base, contrib, elab-util, sop, snocvect
 
 modules =
   Quox.NatExtra,
-  Quox.Unicode,
+  -- Quox.Unicode,
   Quox.OPE,
   Quox.Pretty,
   Quox.Syntax,
@@ -27,9 +27,9 @@ modules =
   Quox.Syntax.Universe,
   Quox.Syntax.Var,
   Quox.Definition,
-  Quox.Token,
-  Quox.Lexer,
-  Quox.Parser,
+  -- Quox.Token,
+  -- Quox.Lexer,
+  -- Quox.Parser,
   Quox.Context,
   Quox.Equal,
   Quox.Name,
diff --git a/tests/Tests.idr b/tests/Tests.idr
index 6d01899..4da0382 100644
--- a/tests/Tests.idr
+++ b/tests/Tests.idr
@@ -1,18 +1,18 @@
 module Tests
 
 import TAP
-import Tests.Unicode
-import Tests.Lexer
-import Tests.Parser
+-- import Tests.Unicode
+-- import Tests.Lexer
+-- import Tests.Parser
 import Tests.Reduce
 import Tests.Equal
 import System
 
 
 allTests = [
-  Unicode.tests,
-  Lexer.tests,
-  Parser.tests,
+  -- Unicode.tests,
+  -- Lexer.tests,
+  -- Parser.tests,
   Reduce.tests,
   Equal.tests
 ]
diff --git a/tests/Tests/Lexer.idr b/tests/on-hold/Tests/Lexer.idr
similarity index 100%
rename from tests/Tests/Lexer.idr
rename to tests/on-hold/Tests/Lexer.idr
diff --git a/tests/Tests/Parser.idr b/tests/on-hold/Tests/Parser.idr
similarity index 100%
rename from tests/Tests/Parser.idr
rename to tests/on-hold/Tests/Parser.idr
diff --git a/tests/Tests/Unicode.idr b/tests/on-hold/Tests/Unicode.idr
similarity index 100%
rename from tests/Tests/Unicode.idr
rename to tests/on-hold/Tests/Unicode.idr