- edited description
Add new types to the syntax
Issue #1
new
- 0,1,2 (in the universe as well)
- W types
- M types
- finish Id
- inductive inductive types
- quotient types
- a hierarchy of universes
Comments (1)
-
reporter - Log in to comment