From 08926763668c2dd12bc17be643fd09534b0ef409 Mon Sep 17 00:00:00 2001
From: Chloe Brown <chloe.brown.00@outlook.com>
Date: Tue, 23 May 2023 16:59:47 +0100
Subject: Define a partial evaluator inductively.

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

(limited to 'church-eval.ipkg')

diff --git a/church-eval.ipkg b/church-eval.ipkg
index eeb9b67..4d4cb31 100644
--- a/church-eval.ipkg
+++ b/church-eval.ipkg
@@ -5,5 +5,7 @@ sourcedir = "src"
 options = "--total"
 
 modules
-  = Term
+  = Level0
+  , NormalForm
+  , Term
   , Thinning
-- 
cgit v1.2.3