From d5794f15b40ef4c683d713ffad027e94f2caf17e Mon Sep 17 00:00:00 2001
From: Chloe Brown <chloe.brown.00@outlook.com>
Date: Thu, 8 Jun 2023 17:17:04 +0100
Subject: Use CoDebruijn syntax at top level.

---
 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 df84fda..2456685 100644
--- a/church-eval.ipkg
+++ b/church-eval.ipkg
@@ -15,3 +15,4 @@ modules
   , Total.Reduction
   , Total.Syntax
   , Total.Term
+  , Total.Term.CoDebruijn
-- 
cgit v1.2.3