From aa13e2ec1d82ddb20888b1f60230de9798081bae Mon Sep 17 00:00:00 2001
From: Greg Brown <greg.brown01@ed.ac.uk>
Date: Fri, 2 Dec 2022 16:15:31 +0000
Subject: Define indexed setoids.

---
 setoid.ipkg | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'setoid.ipkg')

diff --git a/setoid.ipkg b/setoid.ipkg
index 2c0401e..03125f5 100644
--- a/setoid.ipkg
+++ b/setoid.ipkg
@@ -22,6 +22,8 @@ modules
   , Data.Setoid
   , Data.Setoid.Definition
   , Data.Setoid.Either
+  , Data.Setoid.Indexed
+  , Data.Setoid.Indexed.Definition
   , Data.Setoid.List
   , Data.Setoid.Pair
   , Data.Setoid.Vect
-- 
cgit v1.2.3