From 29a05f990dd945be30995c4f46b91b5f7c83abd9 Mon Sep 17 00:00:00 2001
From: Chloe Brown <chloe.brown.00@outlook.com>
Date: Tue, 4 Jul 2023 13:20:46 +0100
Subject: Make unions a pseudo-built-in type.

---
 church-eval.ipkg | 1 -
 1 file changed, 1 deletion(-)

(limited to 'church-eval.ipkg')

diff --git a/church-eval.ipkg b/church-eval.ipkg
index 80fc5f5..1e7ccd1 100644
--- a/church-eval.ipkg
+++ b/church-eval.ipkg
@@ -13,7 +13,6 @@ modules
   , Encoded.Fin
   , Encoded.Pair
   , Encoded.Sum
-  , Encoded.Union
   , Encoded.Vect
   , Term
   , Term.Compile
-- 
cgit v1.2.3