From 2bd69bf893b7e1ebe4186639526451caf2083b12 Mon Sep 17 00:00:00 2001
From: Greg Brown <greg.brown01@ed.ac.uk>
Date: Fri, 2 Dec 2022 14:14:44 +0000
Subject: WIP: Frex is free

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

(limited to 'soat.ipkg')

diff --git a/soat.ipkg b/soat.ipkg
index d5cdcd9..a34b8c2 100644
--- a/soat.ipkg
+++ b/soat.ipkg
@@ -10,6 +10,7 @@ modules = Data.Morphism.Indexed
         , Soat.Data.Sublist
         , Soat.FirstOrder.Algebra
         , Soat.FirstOrder.Algebra.Coproduct
+        , Soat.FirstOrder.Algebra.FreeExtension
         , Soat.FirstOrder.Signature
         , Soat.FirstOrder.Term
         , Soat.SecondOrder.Algebra
-- 
cgit v1.2.3