diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2024-01-08 22:06:17 +0100 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2024-01-08 22:06:17 +0100 |
| commit | 870351e3a2f735678bd21d80083f0327b21fc588 (patch) | |
| tree | 92bf0fbd996b7c6713092e783b4fa7319c620840 /app/Main.hs | |
| parent | ae603f2423e967c55dfd31b0dec26d19584aa322 (diff) | |
One/Unit
Diffstat (limited to 'app/Main.hs')
| -rw-r--r-- | app/Main.hs | 2 |
1 files changed, 2 insertions, 0 deletions
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)] |