From 46371da9060ffea1ad48024e4447fb6b20f39d68 Mon Sep 17 00:00:00 2001
From: Greg Brown <greg.brown01@ed.ac.uk>
Date: Wed, 7 Dec 2022 13:51:26 +0000
Subject: refactor: move initial algebra to new module.

---
 soat.ipkg | 1 +
 1 file changed, 1 insertion(+)

(limited to 'soat.ipkg')

diff --git a/soat.ipkg b/soat.ipkg
index 8e66ad3..262e21a 100644
--- a/soat.ipkg
+++ b/soat.ipkg
@@ -13,5 +13,6 @@ modules = Data.List.Sublist
         , Soat.FirstOrder.Term
         , Soat.SecondOrder.Algebra
         , Soat.SecondOrder.Algebra.Lift
+        , Soat.SecondOrder.Algebra.Lift.Initial
         , Soat.SecondOrder.Signature
         , Soat.SecondOrder.Signature.Lift
-- 
cgit v1.2.3