From 332f481a61429c031016fd5d43238095d1a22075 Mon Sep 17 00:00:00 2001
From: Greg Brown <greg.brown01@ed.ac.uk>
Date: Mon, 5 Dec 2022 15:55:09 +0000
Subject: refactor : rename homomorphism combinators.

- idHomo -> id
- compHomo -> (.)
---
 src/Soat/FirstOrder/Algebra/Coproduct.idr | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/Soat/FirstOrder/Algebra/Coproduct.idr')

diff --git a/src/Soat/FirstOrder/Algebra/Coproduct.idr b/src/Soat/FirstOrder/Algebra/Coproduct.idr
index a98391b..5cb4c45 100644
--- a/src/Soat/FirstOrder/Algebra/Coproduct.idr
+++ b/src/Soat/FirstOrder/Algebra/Coproduct.idr
@@ -195,8 +195,8 @@ coproductUnique' : {x, y, z : Algebra sig}
   -> z.relation t (f.func t tm) (g.func t tm)
 coproductUnique' f g congL congR tm = bindUnique'
   { v = fromIndexed (\i => EitherSetoid (x.setoid.index i) (y.setoid.index i))
-  , f = compHomo f $ termToCoproduct x y
-  , g = compHomo g $ termToCoproduct x y
+  , f = f . termToCoproduct x y
+  , g = g . termToCoproduct x y
   , cong = \x => case x of
       (Left x) => congL x
       (Right x) => congR x
-- 
cgit v1.2.3