list all modules in quox.ipkg

since building succeeded i thought unlisted ones would just be private.
but no they don't get installed
This commit is contained in:
rhiannon morris 2022-04-27 14:54:22 +02:00
parent d28366c90b
commit 64fe3a5a0f

View file

@ -15,6 +15,20 @@ modules =
Quox.Pretty, Quox.Pretty,
Quox.Syntax, Quox.Syntax,
Quox.Syntax.Dim,
Quox.Syntax.DimEq,
Quox.Syntax.Qty,
Quox.Syntax.Shift,
Quox.Syntax.Subst,
Quox.Syntax.Term,
Quox.Syntax.Term.Base,
Quox.Syntax.Term.Pretty,
Quox.Syntax.Term.Reduce,
Quox.Syntax.Term.Split,
Quox.Syntax.Term.Subst,
Quox.Syntax.Universe,
Quox.Syntax.Var,
Quox.Context, Quox.Context,
Quox.Equal, Quox.Equal,
Quox.Name, Quox.Name,