From a4e196edb985645402a20e14dba2057151c80fe1 Mon Sep 17 00:00:00 2001
From: Chloe Brown <chloe.brown.00@outlook.com>
Date: Tue, 23 May 2023 15:57:57 +0100
Subject: Define terms and thinnings.

---
 church-eval.ipkg | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 church-eval.ipkg

(limited to 'church-eval.ipkg')

diff --git a/church-eval.ipkg b/church-eval.ipkg
new file mode 100644
index 0000000..eeb9b67
--- /dev/null
+++ b/church-eval.ipkg
@@ -0,0 +1,9 @@
+package church-eval
+authors = "Greg Brown"
+sourcedir = "src"
+
+options = "--total"
+
+modules
+  = Term
+  , Thinning
-- 
cgit v1.2.3