summaryrefslogtreecommitdiff
path: root/soat.ipkg
diff options
context:
space:
mode:
Diffstat (limited to 'soat.ipkg')
-rw-r--r--soat.ipkg1
1 files changed, 1 insertions, 0 deletions
diff --git a/soat.ipkg b/soat.ipkg
index b9972b4..7bfb6ba 100644
--- a/soat.ipkg
+++ b/soat.ipkg
@@ -4,6 +4,7 @@ sourcedir = "src"
modules = Data.Morphism.Indexed
, Data.Setoid
+ , Data.Setoid.Either
, Data.Setoid.Indexed
, Soat.Data.Product
, Soat.Data.Sublist