From 028f82f70ce09bb75dd25bb6a2e9a407c6890793 Mon Sep 17 00:00:00 2001
From: Zoe Stafford <36511192+Z-snails@users.noreply.github.com>
Date: Fri, 26 Mar 2021 12:35:19 +0000
Subject: [PATCH] Add Data.Monoid.Exponentiation to contrib.ipkg (#1232)

---
 libs/contrib/contrib.ipkg | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/libs/contrib/contrib.ipkg b/libs/contrib/contrib.ipkg
index 27beb1f9b..f92a11ee7 100644
--- a/libs/contrib/contrib.ipkg
+++ b/libs/contrib/contrib.ipkg
@@ -61,6 +61,8 @@ modules = Control.ANSI,
 
           Data.Logic.Propositional,
 
+          Data.Monoid.Exponentiation,
+
           Data.Morphisms.Algebra,
 
           Data.Nat.Algebra,