diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2023-03-26 03:50:28 +0100 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2023-03-26 03:50:28 +0100 |
| commit | 3649c9965e787c9cb0dc1cedc4400cdec4c5b8a2 (patch) | |
| tree | bf1862fd4e3a6c3dd6117105a481ecc294f5a141 /obs.ipkg | |
| parent | 88ce0ee4ed72f75775da9c96668cad3e97554812 (diff) | |
Currently, there is Set in Set. Next step is to add universe levels.
Diffstat (limited to 'obs.ipkg')
| -rw-r--r-- | obs.ipkg | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -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 |