From b2d0b395695b65c284dc042f77253f2827ab4009 Mon Sep 17 00:00:00 2001
From: Chloe Brown <chloe.brown.00@outlook.com>
Date: Mon, 22 Jan 2024 12:13:39 +0000
Subject: Add test driver.

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

(limited to 'church-eval.ipkg')

diff --git a/church-eval.ipkg b/church-eval.ipkg
index 1e7ccd1..0d1c743 100644
--- a/church-eval.ipkg
+++ b/church-eval.ipkg
@@ -4,6 +4,9 @@ sourcedir = "src"
 
 options = "--total"
 
+executable = "church-eval"
+main = Encoded.Test
+
 depends = contrib
 
 modules
@@ -13,6 +16,8 @@ modules
   , Encoded.Fin
   , Encoded.Pair
   , Encoded.Sum
+  , Encoded.Term
+  , Encoded.Test
   , Encoded.Vect
   , Term
   , Term.Compile
-- 
cgit v1.2.3