diff --git a/lib/quox-lib.ipkg b/lib/quox-lib.ipkg
index 539d352..2407bf9 100644
--- a/lib/quox-lib.ipkg
+++ b/lib/quox-lib.ipkg
@@ -11,8 +11,6 @@ modules =
   Quox.NatExtra,
   Quox.Decidable,
   Quox.No,
-  -- Quox.Unicode,
-  -- Quox.OPE,
   Quox.Pretty,
   Quox.Syntax,
   Quox.Syntax.Dim,
@@ -30,9 +28,6 @@ modules =
   Quox.Syntax.Universe,
   Quox.Syntax.Var,
   Quox.Definition,
-  -- Quox.Token,
-  -- Quox.Lexer,
-  -- Quox.Parser,
   Quox.Context,
   Quox.Equal,
   Quox.Name,