From 870351e3a2f735678bd21d80083f0327b21fc588 Mon Sep 17 00:00:00 2001 From: Tom Smeding Date: Mon, 8 Jan 2024 22:06:17 +0100 Subject: One/Unit --- app/Main.hs | 2 ++ 1 file changed, 2 insertions(+) (limited to 'app') 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