From 6385ecf96cd60885c221e3144b5a5ec63eb5c831 Mon Sep 17 00:00:00 2001
From: Chloe Brown <chloe.brown.00@outlook.com>
Date: Thu, 22 Jun 2023 17:57:48 +0100
Subject: Add encodings for containers.

Remove useless junk.
---
 church-eval.ipkg | 1 +
 1 file changed, 1 insertion(+)

(limited to 'church-eval.ipkg')

diff --git a/church-eval.ipkg b/church-eval.ipkg
index c2a0fbb..242470b 100644
--- a/church-eval.ipkg
+++ b/church-eval.ipkg
@@ -9,6 +9,7 @@ depends = contrib
 modules
   = Encoded.Arith
   , Encoded.Bool
+  , Encoded.Container
   , Encoded.Fin
   , Encoded.Pair
   , Encoded.Sum
-- 
cgit v1.2.3