From 3649c9965e787c9cb0dc1cedc4400cdec4c5b8a2 Mon Sep 17 00:00:00 2001
From: Chloe Brown <chloe.brown.00@outlook.com>
Date: Sun, 26 Mar 2023 03:50:28 +0100
Subject: Add type checking.

Currently, there is Set in Set. Next step is to add universe levels.
---
 obs.ipkg | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'obs.ipkg')

diff --git a/obs.ipkg b/obs.ipkg
index f85a6ef..b6cb577 100644
--- a/obs.ipkg
+++ b/obs.ipkg
@@ -6,12 +6,13 @@ depends = contrib
 
 options = "--total"
 
-executable = "cc-eval"
+executable = "cc-check"
 main = Main
 
 modules
   = CC.Name
   , CC.Term
+  , CC.Term.Elaborate
   , CC.Term.Eval
   , CC.Term.Parse
   , CC.Term.Pretty
-- 
cgit v1.2.3