From 3eb03e2347b35432f7eae7d6847ec9ecf1dff19e Mon Sep 17 00:00:00 2001
From: Chloe Brown <chloe.brown.00@outlook.com>
Date: Thu, 1 Jun 2023 11:54:49 +0100
Subject: Define terms with substitution as an operation.

---
 church-eval.ipkg | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'church-eval.ipkg')

diff --git a/church-eval.ipkg b/church-eval.ipkg
index 3ac853c..21fe018 100644
--- a/church-eval.ipkg
+++ b/church-eval.ipkg
@@ -10,3 +10,6 @@ modules
   , NormalForm
   , Term
   , Thinning
+  , Total.NormalForm
+  , Total.Reduction
+  , Total.Term
-- 
cgit v1.2.3