From 224c59ec520c92ed9e7e1d4e228e3c53acdff61e Mon Sep 17 00:00:00 2001
From: Chloe Brown <chloe.brown.00@outlook.com>
Date: Wed, 24 May 2023 15:48:28 +0100
Subject: Give a defunctionalised fuel-powered interpreter.

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

(limited to 'church-eval.ipkg')

diff --git a/church-eval.ipkg b/church-eval.ipkg
index 4d4cb31..3ac853c 100644
--- a/church-eval.ipkg
+++ b/church-eval.ipkg
@@ -6,6 +6,7 @@ options = "--total"
 
 modules
   = Level0
+  , Level1
   , NormalForm
   , Term
   , Thinning
-- 
cgit v1.2.3