From 6590816a835110b8181472a5116dd4ecf67c957c Mon Sep 17 00:00:00 2001
From: Chloe Brown <chloe.brown.00@outlook.com>
Date: Tue, 6 Jun 2023 15:13:22 +0100
Subject: Add a pretty printer.

---
 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 519fa19..df84fda 100644
--- a/church-eval.ipkg
+++ b/church-eval.ipkg
@@ -4,11 +4,14 @@ sourcedir = "src"
 
 options = "--total"
 
+depends = contrib
+
 modules
   = Thinning
   , Total.Encoded.Util
   , Total.LogRel
   , Total.NormalForm
+  , Total.Pretty
   , Total.Reduction
   , Total.Syntax
   , Total.Term
-- 
cgit v1.2.3