remove commented modules from ipkg

This commit is contained in:
rhiannon morris 2023-02-19 18:22:27 +01:00
parent 876a45f565
commit ae43c324c0

View file

@ -11,8 +11,6 @@ modules =
Quox.NatExtra, Quox.NatExtra,
Quox.Decidable, Quox.Decidable,
Quox.No, Quox.No,
-- Quox.Unicode,
-- Quox.OPE,
Quox.Pretty, Quox.Pretty,
Quox.Syntax, Quox.Syntax,
Quox.Syntax.Dim, Quox.Syntax.Dim,
@ -30,9 +28,6 @@ modules =
Quox.Syntax.Universe, Quox.Syntax.Universe,
Quox.Syntax.Var, Quox.Syntax.Var,
Quox.Definition, Quox.Definition,
-- Quox.Token,
-- Quox.Lexer,
-- Quox.Parser,
Quox.Context, Quox.Context,
Quox.Equal, Quox.Equal,
Quox.Name, Quox.Name,