From bf07a9fe3ee4ff06fe186e33221f7f91871b9217 Mon Sep 17 00:00:00 2001
From: Chloe Brown <chloe.brown.00@outlook.com>
Date: Tue, 6 Jun 2023 12:25:26 +0100
Subject: Write an encoding for data types.

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

(limited to 'church-eval.ipkg')

diff --git a/church-eval.ipkg b/church-eval.ipkg
index 8250352..519fa19 100644
--- a/church-eval.ipkg
+++ b/church-eval.ipkg
@@ -5,12 +5,10 @@ sourcedir = "src"
 options = "--total"
 
 modules
-  = Level0
-  , Level1
-  , NormalForm
-  , Term
-  , Thinning
+  = Thinning
+  , Total.Encoded.Util
   , Total.LogRel
   , Total.NormalForm
   , Total.Reduction
+  , Total.Syntax
   , Total.Term
-- 
cgit v1.2.3