From 0ddaf1b2c9ca66cf0ae03d2f6ad792c7885dfc32 Mon Sep 17 00:00:00 2001
From: Chloe Brown <chloe.brown.00@outlook.com>
Date: Wed, 21 Jun 2023 16:05:44 +0100
Subject: Add sums, vectors and arithmetic encodings.

Also define pretty printing of terms.
---
 church-eval.ipkg | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

(limited to 'church-eval.ipkg')

diff --git a/church-eval.ipkg b/church-eval.ipkg
index ca7325c..c2a0fbb 100644
--- a/church-eval.ipkg
+++ b/church-eval.ipkg
@@ -7,10 +7,15 @@ options = "--total"
 depends = contrib
 
 modules
-  = Encoded.Bool
+  = Encoded.Arith
+  , Encoded.Bool
+  , Encoded.Fin
   , Encoded.Pair
+  , Encoded.Sum
   , Encoded.Union
+  , Encoded.Vect
   , Term
+  , Term.Pretty
   , Term.Semantics
   , Term.Syntax
   , Thinned
-- 
cgit v1.2.3