From 522eb40ab39800f75daa704ae56c18953c4885e7 Mon Sep 17 00:00:00 2001
From: Greg Brown <greg.brown01@ed.ac.uk>
Date: Tue, 6 Dec 2022 13:22:10 +0000
Subject: Migrate to use idris-setoid library.

---
 soat.ipkg | 9 +++------
 1 file changed, 3 insertions(+), 6 deletions(-)

(limited to 'soat.ipkg')

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