summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--soat.ipkg9
1 files changed, 9 insertions, 0 deletions
diff --git a/soat.ipkg b/soat.ipkg
index e0e51d7..e913be6 100644
--- a/soat.ipkg
+++ b/soat.ipkg
@@ -1,3 +1,12 @@
package soat
authors = "Greg Brown"
sourcedir = "src"
+
+modules = Soat.Data.Product
+ , Soat.Data.Sublist
+ , Soat.FirstOrder.Algebra
+ , Soat.FirstOrder.Signature
+ , Soat.FirstOrder.Term
+ , Soat.Relation
+ , Soat.SecondOrder.Algebra
+ , Soat.SecondOrder.Signature