From 5fdeacb6f61d4c7db0187a5cf85be90aae1dfa75 Mon Sep 17 00:00:00 2001 From: Chloe Brown Date: Mon, 3 Jul 2023 18:23:19 +0100 Subject: Add ability to compile terms to scheme. --- church-eval.ipkg | 1 + 1 file changed, 1 insertion(+) (limited to 'church-eval.ipkg') diff --git a/church-eval.ipkg b/church-eval.ipkg index 242470b..80fc5f5 100644 --- a/church-eval.ipkg +++ b/church-eval.ipkg @@ -16,6 +16,7 @@ modules , Encoded.Union , Encoded.Vect , Term + , Term.Compile , Term.Pretty , Term.Semantics , Term.Syntax -- cgit v1.2.3