diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2024-01-22 12:13:39 +0000 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2024-01-22 12:13:39 +0000 |
| commit | b2d0b395695b65c284dc042f77253f2827ab4009 (patch) | |
| tree | a6b1c6121550e2ad43bb211ae8916bc1810ac7ed /church-eval.ipkg | |
| parent | f0f44fe7815435836bc625e837e891188ae8d801 (diff) | |
Add test driver.HEADonly-codebruijn
Diffstat (limited to 'church-eval.ipkg')
| -rw-r--r-- | church-eval.ipkg | 5 |
1 files changed, 5 insertions, 0 deletions
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 |