diff options
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 |