From e8a5ba7c22c98d32671d02e41960598566bdcc58 Mon Sep 17 00:00:00 2001
From: Greg Brown <greg.brown01@ed.ac.uk>
Date: Mon, 5 Dec 2022 14:37:30 +0000
Subject: WIP: port to library

---
 soat.ipkg | 8 +++-----
 1 file changed, 3 insertions(+), 5 deletions(-)

(limited to 'soat.ipkg')

diff --git a/soat.ipkg b/soat.ipkg
index d5cdcd9..d0eaffc 100644
--- a/soat.ipkg
+++ b/soat.ipkg
@@ -2,10 +2,9 @@ package soat
 authors = "Greg Brown"
 sourcedir = "src"
 
-modules = Data.Morphism.Indexed
-        , Data.Setoid
-        , Data.Setoid.Either
-        , Data.Setoid.Indexed
+depends = setoid
+
+modules = Data.Setoid.Either
         , Soat.Data.Product
         , Soat.Data.Sublist
         , Soat.FirstOrder.Algebra
@@ -16,4 +15,3 @@ modules = Data.Morphism.Indexed
         , Soat.SecondOrder.Algebra.Lift
         , Soat.SecondOrder.Signature
         , Soat.SecondOrder.Signature.Lift
-        , Syntax.PreorderReasoning.Setoid
-- 
cgit v1.2.3