From 870351e3a2f735678bd21d80083f0327b21fc588 Mon Sep 17 00:00:00 2001
From: Tom Smeding <tom@tomsmeding.com>
Date: Mon, 8 Jan 2024 22:06:17 +0100
Subject: One/Unit

---
 app/Main.hs | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'app/Main.hs')

diff --git a/app/Main.hs b/app/Main.hs
index f8b586a..4c0014e 100644
--- a/app/Main.hs
+++ b/app/Main.hs
@@ -18,6 +18,8 @@ main = do
 
   let env0 = Map.fromList
         [("Level", Nothing :| TLevelUniv)
+        ,("One", Nothing :| TSet TIZero)
+        ,("Unit", Nothing :| TOne)
         ,("lzero", Nothing :| TLevel)
         ,("lsuc", Nothing :| TPi "x" TLevel TLevel)]
 
-- 
cgit v1.2.3-70-g09d2