From ae43c324c02c6969828bbcbbd29f6dd4370dd07f Mon Sep 17 00:00:00 2001
From: rhiannon morris <rhi@rhiannon.website>
Date: Sun, 19 Feb 2023 18:22:27 +0100
Subject: [PATCH] remove commented modules from ipkg

---
 lib/quox-lib.ipkg | 5 -----
 1 file changed, 5 deletions(-)

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,